aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
ModeNameSize
-rw-r--r--.coqide-gtk2rc1127logplain
-rw-r--r--FAQ3157logplain
-rw-r--r--command_windows.ml4843logplain
-rw-r--r--command_windows.mli683logplain
-rw-r--r--config_lexer.mll1928logplain
-rw-r--r--config_parser.mly955logplain
-rw-r--r--coq.ico11326logplain
-rw-r--r--coq.ml7871logplain
-rw-r--r--coq.mli1804logplain
-rw-r--r--coq.png6269logplain
-rwxr-xr-xcoq2.ico4710logplain
-rw-r--r--coq_commands.ml7594logplain
-rw-r--r--coq_lex.mll6461logplain
-rw-r--r--coqide.ml126879logplain
-rw-r--r--coqide.mli838logplain
-rw-r--r--gtk_parsing.ml6159logplain
-rw-r--r--ide.mllib268logplain
-rw-r--r--ideproof.ml4197logplain
-rw-r--r--ideutils.ml11175logplain
-rw-r--r--ideutils.mli2619logplain
-rw-r--r--indent.ml5541logplain
-rw-r--r--indent.mli1184logplain
-rw-r--r--preferences.ml22674logplain
-rw-r--r--preferences.mli2674logplain
-rw-r--r--tags.ml2293logplain
-rw-r--r--typed_notebook.ml2644logplain
-rw-r--r--undo.ml5351logplain
-rw-r--r--undo_lablgtk_ge212.mli1093logplain
-rw-r--r--undo_lablgtk_ge26.mli1037logplain
-rw-r--r--undo_lablgtk_lt26.mli1033logplain
-rw-r--r--utf8_convert.mll1306logplain
d---------utils466logplain