aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore178logplainblame
-rw-r--r--LICENSE1078logplainblame
-rw-r--r--LaTeX.dcl366logplainblame
-rw-r--r--LaTeX.icl1490logplainblame
-rw-r--r--Makefile238logplainblame
-rw-r--r--README.md247logplainblame
-rw-r--r--Smurf.dcl1651logplainblame
-rw-r--r--Smurf.icl9433logplainblame
-rw-r--r--SmurfParse.dcl292logplainblame
-rw-r--r--SmurfParse.icl2791logplainblame
-rw-r--r--proof.icl2024logplainblame
-rw-r--r--proof.prj1274logplainblame
-rw-r--r--reverse-ward.smf372logplainblame
-rw-r--r--reverse.smf254logplainblame
-rw-r--r--run.icl2965logplainblame
-rw-r--r--run.prj1264logplainblame
-rw-r--r--tree.icl683logplainblame
-rw-r--r--tree.prj1272logplainblame