aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
ModeNameSize
-rw-r--r--.coqide-gtk2rc1127logplain
-rw-r--r--.cvsignore163logplain
-rw-r--r--FAQ3157logplain
-rw-r--r--blaster_window.ml5770logplain
-rw-r--r--command_windows.ml4691logplain
-rw-r--r--command_windows.mli766logplain
-rw-r--r--config_lexer.mll1944logplain
-rw-r--r--config_parser.mly965logplain
-rw-r--r--coq.ml13820logplain
-rw-r--r--coq.mli2038logplain
-rw-r--r--coq.png9101logplain
-rw-r--r--coq_commands.ml7357logplain
-rw-r--r--coq_tactics.ml2462logplain
-rw-r--r--coq_tactics.mli565logplain
-rw-r--r--coqide.ml103172logplain
-rw-r--r--coqide.mli851logplain
-rw-r--r--extract_index.mll1076logplain
-rw-r--r--find_phrase.mll2001logplain
-rw-r--r--highlight.mll4202logplain
-rw-r--r--ideutils.ml8876logplain
-rw-r--r--ideutils.mli2606logplain
-rw-r--r--index_urls.txt21782logplain
-rw-r--r--preferences.ml16815logplain
-rw-r--r--preferences.mli2169logplain
-rw-r--r--undo.ml5435logplain
-rw-r--r--undo.mli1046logplain
-rw-r--r--utf8.v2445logplain
-rw-r--r--utf8_convert.mll1323logplain
d---------utils550logplain