aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
ModeNameSize
-rw-r--r--.coqide-gtk2rc1130logplain
-rw-r--r--.cvsignore158logplain
-rw-r--r--FAQ3201logplain
-rw-r--r--blaster_window.ml5763logplain
-rw-r--r--command_windows.ml4429logplain
-rw-r--r--command_windows.mli759logplain
-rw-r--r--config_lexer.mll1937logplain
-rw-r--r--config_parser.mly960logplain
-rw-r--r--coq.ml12671logplain
-rw-r--r--coq.mli2024logplain
-rw-r--r--coq.png9101logplain
-rw-r--r--coq_commands.ml5212logplain
-rw-r--r--coq_tactics.ml2455logplain
-rw-r--r--coq_tactics.mli558logplain
-rw-r--r--coqide.ml91870logplain
-rw-r--r--coqide.mli844logplain
-rw-r--r--extract_index.mll1069logplain
-rw-r--r--find_phrase.mll1930logplain
-rw-r--r--highlight.mll3937logplain
-rw-r--r--ideutils.ml8427logplain
-rw-r--r--ideutils.mli2340logplain
-rw-r--r--index_urls.txt21782logplain
-rw-r--r--preferences.ml15350logplain
-rw-r--r--preferences.mli2042logplain
-rw-r--r--undo.ml5428logplain
-rw-r--r--undo.mli1039logplain
-rw-r--r--utf8.v1099logplain
-rw-r--r--utf8_convert.mll1316logplain
d---------utils550logplain