| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 178 | logplainblame |
| -rw-r--r-- | LICENSE | 1078 | logplainblame |
| -rw-r--r-- | LaTeX.dcl | 366 | logplainblame |
| -rw-r--r-- | LaTeX.icl | 1490 | logplainblame |
| -rw-r--r-- | Makefile | 238 | logplainblame |
| -rw-r--r-- | README.md | 247 | logplainblame |
| -rw-r--r-- | Smurf.dcl | 1496 | logplainblame |
| -rw-r--r-- | Smurf.icl | 8674 | logplainblame |
| -rw-r--r-- | SmurfParse.dcl | 133 | logplainblame |
| -rw-r--r-- | SmurfParse.icl | 1359 | logplainblame |
| -rw-r--r-- | proof.icl | 398 | logplainblame |
| -rw-r--r-- | proof.prj | 1274 | logplainblame |
| -rw-r--r-- | reverse.smf | 254 | logplainblame |
| -rw-r--r-- | run.icl | 2965 | logplainblame |
| -rw-r--r-- | run.prj | 1264 | logplainblame |
| -rw-r--r-- | tree.icl | 676 | logplainblame |
| -rw-r--r-- | tree.prj | 1272 | logplainblame |
 |
index : smurf | |
| Smurf interpreter in Clean |
| aboutsummaryrefslogtreecommitdiff |