aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/protocol
ModeNameSize
-rw-r--r--ideprotocol.mllib72logplain
-rw-r--r--interface.ml8992logplain
-rw-r--r--richpp.ml5125logplain
-rw-r--r--richpp.mli2127logplain
-rw-r--r--serialize.ml4656logplain
-rw-r--r--serialize.mli1768logplain
-rw-r--r--xml_lexer.mli1385logplain
-rw-r--r--xml_lexer.mll9509logplain
-rw-r--r--xml_parser.ml6439logplain
-rw-r--r--xml_parser.mli3604logplain
-rw-r--r--xml_printer.ml3738logplain
-rw-r--r--xml_printer.mli1326logplain
-rw-r--r--xmlprotocol.ml41482logplain
-rw-r--r--xmlprotocol.mli2782logplain