aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
ModeNameSize
-rw-r--r--.merlin61logplain
-rw-r--r--FAQ2514logplain
d---------MacOS227logplain
-rw-r--r--Make75logplain
-rw-r--r--config_lexer.mli647logplain
-rw-r--r--config_lexer.mll2027logplain
-rw-r--r--coq-ssreflect.lang9695logplain
-rw-r--r--coq.ico11326logplain
-rw-r--r--coq.lang9946logplain
-rw-r--r--coq.ml20187logplain
-rw-r--r--coq.mli6916logplain
-rw-r--r--coq.png12907logplain
-rwxr-xr-xcoq2.ico4710logplain
-rw-r--r--coqOps.ml33545logplain
-rw-r--r--coqOps.mli1469logplain
-rw-r--r--coq_commands.ml7691logplain
-rw-r--r--coq_commands.mli624logplain
-rw-r--r--coq_icon.rc28logplain
-rw-r--r--coq_lex.mli619logplain
-rw-r--r--coq_lex.mll3331logplain
-rw-r--r--coq_style.xml1441logplain
-rw-r--r--coqide.ml48703logplain
-rw-r--r--coqide.mli1686logplain
-rw-r--r--coqide_main.ml44925logplain
-rw-r--r--coqide_main.mli658logplain
-rw-r--r--coqide_ui.ml6214logplain
-rw-r--r--coqide_ui.mli580logplain
-rw-r--r--coqidetop.mllib81logplain
-rw-r--r--document.ml6090logplain
-rw-r--r--document.mli4569logplain
-rw-r--r--fileOps.ml4761logplain
-rw-r--r--fileOps.mli905logplain
-rw-r--r--gtk_parsing.ml2388logplain
-rw-r--r--gtk_parsing.mli1136logplain
-rw-r--r--ide.mllib435logplain
-rw-r--r--ide_slave.ml18069logplain
-rw-r--r--ide_slave.mli658logplain
-rw-r--r--ide_win32_stubs.c1791logplain
-rw-r--r--ideutils.ml15446logplain
-rw-r--r--ideutils.mli3559logplain
-rw-r--r--interface.mli8842logplain
-rw-r--r--macos_prehook.ml1530logplain
-rw-r--r--macos_prehook.mli658logplain
-rw-r--r--minilib.ml2082logplain
-rw-r--r--minilib.mli1115logplain
-rw-r--r--nanoPG.ml12979logplain
-rw-r--r--nanoPG.mli685logplain
-rw-r--r--preferences.ml32692logplain
-rw-r--r--preferences.mli3886logplain
-rw-r--r--richpp.ml4975logplain
-rw-r--r--richpp.mli1977logplain
-rw-r--r--sentence.ml5292logplain
-rw-r--r--sentence.mli858logplain
-rw-r--r--serialize.ml4506logplain
-rw-r--r--serialize.mli1618logplain
-rw-r--r--session.ml20653logplain
-rw-r--r--session.mli1598logplain
-rw-r--r--tags.ml2472logplain
-rw-r--r--tags.mli1307logplain
-rw-r--r--utf8_convert.mli551logplain
-rw-r--r--utf8_convert.mll1307logplain
d---------utils266logplain
-rw-r--r--wg_Command.ml6832logplain
-rw-r--r--wg_Command.mli799logplain
-rw-r--r--wg_Completion.ml15847logplain
-rw-r--r--wg_Completion.mli1333logplain
-rw-r--r--wg_Detachable.ml2900logplain
-rw-r--r--wg_Detachable.mli1410logplain
-rw-r--r--wg_Find.ml10267logplain
-rw-r--r--wg_Find.mli825logplain
-rw-r--r--wg_MessageView.ml4509logplain
-rw-r--r--wg_MessageView.mli1181logplain
-rw-r--r--wg_Notebook.ml2648logplain
-rw-r--r--wg_Notebook.mli1374logplain
-rw-r--r--wg_ProofView.ml9981logplain
-rw-r--r--wg_ProofView.mli843logplain
-rw-r--r--wg_ScriptView.ml17036logplain
-rw-r--r--wg_ScriptView.mli1963logplain
-rw-r--r--wg_Segment.ml4804logplain
-rw-r--r--wg_Segment.mli1185logplain
-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.ml3588logplain
-rw-r--r--xml_printer.mli1176logplain
-rw-r--r--xmlprotocol.ml41332logplain
-rw-r--r--xmlprotocol.mli2632logplain