aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/syntax
ModeNameSize
-rw-r--r--ascii_syntax.ml2901logplain
-rw-r--r--ascii_syntax_plugin.mlpack13logplain
-rw-r--r--nat_syntax.ml2588logplain
-rw-r--r--nat_syntax_plugin.mlpack11logplain
-rw-r--r--numbers_syntax.ml9359logplain
-rw-r--r--numbers_syntax_plugin.mlpack15logplain
-rw-r--r--r_syntax.ml4585logplain
-rw-r--r--r_syntax_plugin.mlpack9logplain
-rw-r--r--string_syntax.ml2240logplain
-rw-r--r--string_syntax_plugin.mlpack14logplain
-rw-r--r--z_syntax.ml6827logplain
-rw-r--r--z_syntax_plugin.mlpack9logplain