summaryrefslogtreecommitdiff
path: root/language
ModeNameSize
-rw-r--r--Makefile1222logplain
-rw-r--r--l2.lem18996logplain
-rw-r--r--l2.ml14387logplain
-rw-r--r--l2.ott40790logplain
-rw-r--r--l2_parse.ml11357logplain
-rw-r--r--l2_parse.ott59213logplain
-rw-r--r--l2_rules.ott56108logplain
-rw-r--r--l2_typ.ott16701logplain
-rw-r--r--manual.pdf342551logplain
-rw-r--r--manual.tex5789logplain
-rw-r--r--primitive_doc.ott8209logplain