Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 244 | logplain |
-rw-r--r-- | LICENSE | 1528 | logplain |
-rw-r--r-- | Makefile | 1914 | logplain |
-rw-r--r-- | README.md | 4309 | logplain |
-rw-r--r-- | TODO | 140 | logplain |
-rw-r--r-- | alternative-html-blocks.txt | 3950 | logplain |
d--------- | data | 49 | logplain |
d--------- | js | 246 | logplain |
-rw-r--r-- | license.bstrlib.txt | 1514 | logplain |
-rw-r--r-- | license.uthash.txt | 1141 | logplain |
-rw-r--r-- | mkcasefold.pl | 509 | logplain |
d--------- | oldtests | 366 | logplain |
-rw-r--r-- | runtests.pl | 3795 | logplain |
-rw-r--r-- | spec.txt | 107778 | logplain |
-rwxr-xr-x | spec2js.js | 441 | logplain |
-rw-r--r-- | spec2md.pl | 1024 | logplain |
-rwxr-xr-x | specfilter.hs | 1439 | logplain |
d--------- | src | 655 | logplain |
-rw-r--r-- | template.html | 1910 | logplain |
-rw-r--r-- | template.tex | 6422 | logplain |