summaryrefslogtreecommitdiff
path: root/ide
ModeNameSize
-rw-r--r--.merlin47logplain
-rw-r--r--FAQ2515logplain
d---------MacOS227logplain
-rw-r--r--Make75logplain
-rw-r--r--config_lexer.mll2019logplain
-rw-r--r--coq-ssreflect.lang9651logplain
-rw-r--r--coq.ico11326logplain
-rw-r--r--coq.lang8789logplain
-rw-r--r--coq.ml20213logplain
-rw-r--r--coq.mli6937logplain
-rw-r--r--coq.png71924logplain
-rwxr-xr-xcoq2.ico4710logplain
-rw-r--r--coqOps.ml31161logplain
-rw-r--r--coqOps.mli1487logplain
-rw-r--r--coq_commands.ml7705logplain
-rw-r--r--coq_icon.rc28logplain
-rw-r--r--coq_lex.mll3133logplain
-rw-r--r--coq_style.xml1441logplain
-rw-r--r--coqide.ml50610logplain
-rw-r--r--coqide.mli1731logplain
-rw-r--r--coqide_main.ml44996logplain
-rw-r--r--coqide_ui.ml5391logplain
-rw-r--r--coqidetop.mllib22logplain
-rw-r--r--document.ml5862logplain
-rw-r--r--document.mli4527logplain
-rw-r--r--fileOps.ml4803logplain
-rw-r--r--fileOps.mli905logplain
-rw-r--r--gtk_parsing.ml6550logplain
-rw-r--r--ide.mllib419logplain
-rw-r--r--ide_slave.ml17063logplain
-rw-r--r--ide_win32_stubs.c1791logplain
-rw-r--r--ideutils.ml13249logplain
-rw-r--r--ideutils.mli3442logplain
-rw-r--r--interface.mli8364logplain
-rw-r--r--macos_prehook.ml1530logplain
-rw-r--r--minilib.ml2053logplain
-rw-r--r--minilib.mli1063logplain
-rw-r--r--nanoPG.ml12983logplain
-rw-r--r--preferences.ml30962logplain
-rw-r--r--preferences.mli3412logplain
-rw-r--r--project_file.ml48742logplain
-rw-r--r--sentence.ml5246logplain
-rw-r--r--sentence.mli858logplain
-rw-r--r--session.ml20326logplain
-rw-r--r--session.mli1617logplain
-rw-r--r--tags.ml3924logplain
-rw-r--r--tags.mli1794logplain
-rw-r--r--utf8_convert.mll1306logplain
d---------utils466logplain
-rw-r--r--wg_Command.ml6338logplain
-rw-r--r--wg_Command.mli861logplain
-rw-r--r--wg_Completion.ml15723logplain
-rw-r--r--wg_Completion.mli1333logplain
-rw-r--r--wg_Detachable.ml2879logplain
-rw-r--r--wg_Detachable.mli1410logplain
-rw-r--r--wg_Find.ml8283logplain
-rw-r--r--wg_Find.mli825logplain
-rw-r--r--wg_MessageView.ml3119logplain
-rw-r--r--wg_MessageView.mli1248logplain
-rw-r--r--wg_Notebook.ml2647logplain
-rw-r--r--wg_Notebook.mli1374logplain
-rw-r--r--wg_ProofView.ml8148logplain
-rw-r--r--wg_ProofView.mli860logplain
-rw-r--r--wg_ScriptView.ml15856logplain
-rw-r--r--wg_ScriptView.mli1963logplain
-rw-r--r--wg_Segment.ml5071logplain
-rw-r--r--wg_Segment.mli1051logplain
-rw-r--r--xmlprotocol.ml32211logplain
-rw-r--r--xmlprotocol.mli2117logplain