summaryrefslogtreecommitdiff
path: root/ide
ModeNameSize
-rw-r--r--.coqide-gtk2rc1127logplain
-rw-r--r--FAQ3157logplain
-rw-r--r--blaster_window.ml5818logplain
-rw-r--r--command_windows.ml4752logplain
-rw-r--r--command_windows.mli822logplain
-rw-r--r--config_lexer.mll1998logplain
-rw-r--r--config_parser.mly1020logplain
-rw-r--r--coq.ico27574logplain
-rw-r--r--coq.ml22218logplain
-rw-r--r--coq.mli3069logplain
-rw-r--r--coq.png6269logplain
-rwxr-xr-xcoq2.ico4710logplain
-rw-r--r--coq_commands.ml7667logplain
-rw-r--r--coq_tactics.ml2514logplain
-rw-r--r--coq_tactics.mli620logplain
-rw-r--r--coqide.ml123096logplain
-rw-r--r--coqide.mli901logplain
-rw-r--r--extract_index.mll1131logplain
-rw-r--r--find_phrase.mll2146logplain
-rw-r--r--highlight.mll6440logplain
-rw-r--r--ideutils.ml11543logplain
-rw-r--r--ideutils.mli2934logplain
-rw-r--r--preferences.ml19079logplain
-rw-r--r--preferences.mli2432logplain
-rw-r--r--undo.ml5460logplain
-rw-r--r--undo_lablgtk_ge26.mli1111logplain
-rw-r--r--undo_lablgtk_lt26.mli1107logplain
-rw-r--r--utf8_convert.mll1377logplain
d---------utils597logplain