aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/syntax
ModeNameSize
-rw-r--r--ascii_syntax.ml2771logplain
-rw-r--r--ascii_syntax_plugin.mllib37logplain
-rw-r--r--nat_syntax.ml2326logplain
-rw-r--r--nat_syntax_plugin.mllib33logplain
-rw-r--r--numbers_syntax.ml9208logplain
-rw-r--r--numbers_syntax_plugin.mllib41logplain
-rw-r--r--r_syntax.ml4460logplain
-rw-r--r--r_syntax_plugin.mllib29logplain
-rw-r--r--string_syntax.ml2090logplain
-rw-r--r--string_syntax_plugin.mllib39logplain
-rw-r--r--z_syntax.ml6701logplain
-rw-r--r--z_syntax_plugin.mllib29logplain