aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
ModeNameSize
-rw-r--r--.coqide-gtk2rc1127logplain
-rw-r--r--FAQ3157logplain
-rw-r--r--command_windows.ml4660logplain
-rw-r--r--command_windows.mli764logplain
-rw-r--r--config_lexer.mll1940logplain
-rw-r--r--config_parser.mly965logplain
-rw-r--r--coq.ico11326logplain
-rw-r--r--coq.ml20512logplain
-rw-r--r--coq.mli2454logplain
-rw-r--r--coq.png6269logplain
-rwxr-xr-xcoq2.ico4710logplain
-rw-r--r--coq_commands.ml7606logplain
-rw-r--r--coq_tactics.ml2462logplain
-rw-r--r--coq_tactics.mli567logplain
-rw-r--r--coqide.ml128616logplain
-rw-r--r--coqide.mli852logplain
-rw-r--r--gtk_parsing.ml6202logplain
-rw-r--r--highlight.mll7012logplain
-rw-r--r--ide.mllib266logplain
-rw-r--r--ideutils.ml11851logplain
-rw-r--r--ideutils.mli2729logplain
-rw-r--r--preferences.ml19887logplain
-rw-r--r--preferences.mli2447logplain
-rw-r--r--tags.ml2114logplain
-rw-r--r--typed_notebook.ml2722logplain
-rw-r--r--undo.ml5363logplain
-rw-r--r--undo_lablgtk_ge212.mli1135logplain
-rw-r--r--undo_lablgtk_ge26.mli1051logplain
-rw-r--r--undo_lablgtk_lt26.mli1047logplain
-rw-r--r--utf8_convert.mll1318logplain
d---------utils466logplain