summaryrefslogtreecommitdiff
path: root/ide
ModeNameSize
-rw-r--r--.coqide-gtk2rc1127logplain
-rw-r--r--FAQ3157logplain
-rw-r--r--command_windows.ml4717logplain
-rw-r--r--command_windows.mli822logplain
-rw-r--r--config_lexer.mll1995logplain
-rw-r--r--config_parser.mly1023logplain
-rw-r--r--coq.ico11326logplain
-rw-r--r--coq.ml22898logplain
-rw-r--r--coq.mli2590logplain
-rw-r--r--coq.png6269logplain
-rwxr-xr-xcoq2.ico4710logplain
-rw-r--r--coq_commands.ml7660logplain
-rw-r--r--coq_icon.rc28logplain
-rw-r--r--coq_lex.mll6263logplain
-rw-r--r--coq_tactics.ml2515logplain
-rw-r--r--coq_tactics.mli621logplain
-rw-r--r--coqide.ml125510logplain
-rw-r--r--coqide.mli901logplain
-rw-r--r--gtk_parsing.ml6202logplain
-rw-r--r--highlight.mll7064logplain
-rw-r--r--ide.mllib264logplain
-rw-r--r--ideutils.ml12107logplain
-rw-r--r--ideutils.mli2820logplain
-rw-r--r--preferences.ml19597logplain
-rw-r--r--preferences.mli2466logplain
-rw-r--r--tags.ml2308logplain
-rw-r--r--typed_notebook.ml2722logplain
d---------uim127logplain
-rw-r--r--undo.ml5409logplain
-rw-r--r--undo_lablgtk_ge212.mli1166logplain
-rw-r--r--undo_lablgtk_ge26.mli1111logplain
-rw-r--r--undo_lablgtk_lt26.mli1107logplain
-rw-r--r--utf8_convert.mll1373logplain
d---------utils466logplain