summaryrefslogtreecommitdiff
path: root/language
ModeNameSize
-rw-r--r--Makefile1222logplain
-rw-r--r--l2.lem19822logplain
-rw-r--r--l2.ml15219logplain
-rw-r--r--l2.ott42032logplain
-rw-r--r--l2_parse.ml12079logplain
-rw-r--r--l2_parse.ott60245logplain
-rw-r--r--l2_rules.ott56108logplain
-rw-r--r--l2_typ.ott16701logplain
-rw-r--r--manual.pdf342680logplain
-rw-r--r--manual.tex5787logplain
-rw-r--r--primitive_doc.ott8209logplain