aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore244logplain
-rw-r--r--LICENSE2674logplain
-rw-r--r--Makefile2921logplain
-rw-r--r--README.md4434logplain
-rw-r--r--TODO1logplain
-rw-r--r--alternative-html-blocks.txt3950logplain
d---------data49logplain
d---------js235logplain
d---------man104logplain
-rw-r--r--mkcasefold.pl509logplain
-rw-r--r--narrative.md6655logplain
-rw-r--r--runtests.pl3927logplain
-rw-r--r--spec.txt110711logplain
-rwxr-xr-xspec2js.js441logplain
-rw-r--r--spec2md.pl1024logplain
-rwxr-xr-xspecfilter.hs1439logplain
d---------src659logplain
-rw-r--r--template.html2046logplain
-rw-r--r--template.tex6422logplain