summaryrefslogtreecommitdiff
path: root/ide
ModeNameSize
-rw-r--r--FAQ3020logplain
-rw-r--r--command_windows.ml5186logplain
-rw-r--r--command_windows.mli790logplain
-rw-r--r--config_lexer.mll2016logplain
-rw-r--r--coq.ico11326logplain
-rw-r--r--coq.ml10102logplain
-rw-r--r--coq.mli2567logplain
-rw-r--r--coq.png6269logplain
-rwxr-xr-xcoq2.ico4710logplain
-rw-r--r--coq_commands.ml7692logplain
-rw-r--r--coq_icon.rc28logplain
-rw-r--r--coq_lex.mll6866logplain
-rw-r--r--coqide-gtk2rc903logplain
-rw-r--r--coqide.ml110069logplain
-rw-r--r--coqide.mli1496logplain
-rw-r--r--coqide_main.ml44223logplain
-rw-r--r--coqide_ui.ml5072logplain
-rw-r--r--gtk_parsing.ml6159logplain
-rw-r--r--ide.mllib292logplain
-rw-r--r--ide_mac_stubs.c3217logplain
-rw-r--r--ide_win32_stubs.c1791logplain
-rw-r--r--ideproof.ml5835logplain
-rw-r--r--ideutils.ml11206logplain
-rw-r--r--ideutils.mli2950logplain
-rw-r--r--mac_default_accel_map20652logplain
-rw-r--r--minilib.ml6019logplain
-rw-r--r--minilib.mli1715logplain
-rw-r--r--preferences.ml23872logplain
-rw-r--r--preferences.mli2640logplain
-rw-r--r--project_file.ml47855logplain
-rw-r--r--tags.ml3112logplain
-rw-r--r--tags.mli1444logplain
-rw-r--r--typed_notebook.ml2662logplain
-rw-r--r--undo.ml5351logplain
-rw-r--r--undo_lablgtk_ge212.mli1093logplain
-rw-r--r--undo_lablgtk_ge26.mli1037logplain
-rw-r--r--undo_lablgtk_lt26.mli1033logplain
-rw-r--r--utf8_convert.mll1306logplain
d---------utils466logplain