summaryrefslogtreecommitdiff
path: root/language
ModeNameSize
-rw-r--r--Makefile1222logplain
-rw-r--r--l2.lem18489logplain
-rw-r--r--l2.ml13889logplain
-rw-r--r--l2.ott40106logplain
-rw-r--r--l2_parse.ml11319logplain
-rw-r--r--l2_parse.ott59091logplain
-rw-r--r--l2_rules.ott56108logplain
-rw-r--r--l2_typ.ott16701logplain
-rw-r--r--primitive_doc.ott7981logplain