aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
ModeNameSize
-rw-r--r--.coqide-gtk2rc1127logplain
-rw-r--r--FAQ3157logplain
-rw-r--r--blaster_window.ml5766logplain
-rw-r--r--command_windows.ml4710logplain
-rw-r--r--command_windows.mli768logplain
-rw-r--r--config_lexer.mll1944logplain
-rw-r--r--config_parser.mly965logplain
-rw-r--r--coq.ico27574logplain
-rw-r--r--coq.ml14462logplain
-rw-r--r--coq.mli2152logplain
-rw-r--r--coq.png9103logplain
-rwxr-xr-xcoq2.ico4710logplain
-rw-r--r--coq_commands.ml7558logplain
-rw-r--r--coq_tactics.ml2462logplain
-rw-r--r--coq_tactics.mli567logplain
-rw-r--r--coqide.ml114108logplain
-rw-r--r--coqide.mli853logplain
-rw-r--r--extract_index.mll1076logplain
-rw-r--r--find_phrase.mll2096logplain
-rw-r--r--highlight.mll5164logplain
-rw-r--r--ideutils.ml10061logplain
-rw-r--r--ideutils.mli2735logplain
-rw-r--r--index_urls.txt21782logplain
-rw-r--r--preferences.ml17745logplain
-rw-r--r--preferences.mli2335logplain
-rw-r--r--undo.ml5417logplain
-rw-r--r--undo_lablgtk_ge26.mli1052logplain
-rw-r--r--undo_lablgtk_lt26.mli1048logplain
-rw-r--r--utf8.v2503logplain
-rw-r--r--utf8_convert.mll1323logplain
d---------utils597logplain