aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
ModeNameSize
-rw-r--r--.coqide-gtk2rc1127logplain
-rw-r--r--.cvsignore163logplain
-rw-r--r--FAQ3157logplain
-rw-r--r--blaster_window.ml5763logplain
-rw-r--r--command_windows.ml4684logplain
-rw-r--r--command_windows.mli759logplain
-rw-r--r--config_lexer.mll1937logplain
-rw-r--r--config_parser.mly960logplain
-rw-r--r--coq.ml13829logplain
-rw-r--r--coq.mli2032logplain
-rw-r--r--coq.png9101logplain
-rw-r--r--coq_commands.ml7286logplain
-rw-r--r--coq_tactics.ml2455logplain
-rw-r--r--coq_tactics.mli558logplain
-rw-r--r--coqide.ml103132logplain
-rw-r--r--coqide.mli844logplain
-rw-r--r--extract_index.mll1069logplain
-rw-r--r--find_phrase.mll1930logplain
-rw-r--r--highlight.mll3503logplain
-rw-r--r--ideutils.ml8869logplain
-rw-r--r--ideutils.mli2599logplain
-rw-r--r--index_urls.txt21782logplain
-rw-r--r--preferences.ml16808logplain
-rw-r--r--preferences.mli2162logplain
-rw-r--r--undo.ml5428logplain
-rw-r--r--undo.mli1039logplain
-rw-r--r--utf8.v2438logplain
-rw-r--r--utf8_convert.mll1316logplain
d---------utils550logplain