aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
ModeNameSize
-rw-r--r--.merlin61logplain
-rw-r--r--FAQ2514logplain
d---------MacOS227logplain
-rw-r--r--Make75logplain
-rw-r--r--config_lexer.mli797logplain
-rw-r--r--config_lexer.mll2177logplain
-rw-r--r--coq-ssreflect.lang9695logplain
-rw-r--r--coq.ico11326logplain
-rw-r--r--coq.lang9946logplain
-rw-r--r--coq.ml20337logplain
-rw-r--r--coq.mli7066logplain
-rw-r--r--coq.png12907logplain
-rwxr-xr-xcoq2.ico4710logplain
-rw-r--r--coqOps.ml33327logplain
-rw-r--r--coqOps.mli1698logplain
-rw-r--r--coq_commands.ml7841logplain
-rw-r--r--coq_commands.mli774logplain
-rw-r--r--coq_icon.rc28logplain
-rw-r--r--coq_lex.mli769logplain
-rw-r--r--coq_lex.mll3481logplain
-rw-r--r--coq_style.xml1441logplain
-rw-r--r--coqide.ml48395logplain
-rw-r--r--coqide.mli1836logplain
-rw-r--r--coqide_main.ml45075logplain
-rw-r--r--coqide_main.mli808logplain
-rw-r--r--coqide_ui.ml6214logplain
-rw-r--r--coqide_ui.mli730logplain
-rw-r--r--coqidetop.mllib81logplain
-rw-r--r--document.ml6240logplain
-rw-r--r--document.mli4719logplain
-rw-r--r--fileOps.ml4911logplain
-rw-r--r--fileOps.mli1055logplain
-rw-r--r--gtk_parsing.ml2538logplain
-rw-r--r--gtk_parsing.mli1286logplain
-rw-r--r--ide.mllib457logplain
-rw-r--r--ide_slave.ml18265logplain
-rw-r--r--ide_slave.mli808logplain
-rw-r--r--ide_win32_stubs.c1791logplain
-rw-r--r--ideutils.ml16038logplain
-rw-r--r--ideutils.mli3830logplain
-rw-r--r--interface.mli8992logplain
-rw-r--r--macos_prehook.ml1530logplain
-rw-r--r--macos_prehook.mli808logplain
-rw-r--r--minilib.ml2239logplain
-rw-r--r--minilib.mli1272logplain
-rw-r--r--nanoPG.ml13129logplain
-rw-r--r--nanoPG.mli835logplain
-rw-r--r--preferences.ml32842logplain
-rw-r--r--preferences.mli4036logplain
-rw-r--r--richpp.ml5125logplain
-rw-r--r--richpp.mli2127logplain
-rw-r--r--sentence.ml5442logplain
-rw-r--r--sentence.mli1008logplain
-rw-r--r--serialize.ml4656logplain
-rw-r--r--serialize.mli1768logplain
-rw-r--r--session.ml20900logplain
-rw-r--r--session.mli1763logplain
-rw-r--r--tags.ml2622logplain
-rw-r--r--tags.mli1457logplain
-rw-r--r--utf8_convert.mli701logplain
-rw-r--r--utf8_convert.mll1457logplain
d---------utils266logplain
-rw-r--r--wg_Command.ml6983logplain
-rw-r--r--wg_Command.mli995logplain
-rw-r--r--wg_Completion.ml15997logplain
-rw-r--r--wg_Completion.mli1483logplain
-rw-r--r--wg_Detachable.ml3050logplain
-rw-r--r--wg_Detachable.mli1560logplain
-rw-r--r--wg_Find.ml10417logplain
-rw-r--r--wg_Find.mli975logplain
-rw-r--r--wg_MessageView.ml4796logplain
-rw-r--r--wg_MessageView.mli1324logplain
-rw-r--r--wg_Notebook.ml2798logplain
-rw-r--r--wg_Notebook.mli1524logplain
-rw-r--r--wg_ProofView.ml10131logplain
-rw-r--r--wg_ProofView.mli993logplain
-rw-r--r--wg_RoutedMessageViews.ml1746logplain
-rw-r--r--wg_RoutedMessageViews.mli1082logplain
-rw-r--r--wg_ScriptView.ml17186logplain
-rw-r--r--wg_ScriptView.mli2113logplain
-rw-r--r--wg_Segment.ml4954logplain
-rw-r--r--wg_Segment.mli1335logplain
-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