summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.authorspellings191logplain
-rw-r--r--.boring905logplain
-rw-r--r--.gitignore4logplain
-rw-r--r--CHANGES5924logplain
-rw-r--r--HOWTO-dist.txt1118logplain
-rw-r--r--LICENSE1566logplain
-rw-r--r--Makefile4375logplain
-rw-r--r--README4559logplain
-rw-r--r--TODO1700logplain
-rw-r--r--_tags133logplain
d---------bench622logplain
-rwxr-xr-xconfigure71logplain
-rw-r--r--configure.ml7144logplain
d---------debian722logplain
-rw-r--r--install.ml8076logplain
d---------latex230logplain
d---------latop36logplain
d---------man110logplain
-rw-r--r--melt-mode.el369logplain
d---------melt305logplain
-rw-r--r--melt_version.ml179logplain
d---------meltpp279logplain
-rw-r--r--myocamlbuild.ml2201logplain
-rw-r--r--noob.makefile9909logplain
-rw-r--r--noob.prelude2399logplain
d---------prelude148logplain
-rw-r--r--print_version.ml42logplain
-rw-r--r--totoconf.ml15656logplain
-rw-r--r--totoconf.mli6757logplain