aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
ModeNameSize
-rw-r--r--FAQ2515logplain
-rw-r--r--config_lexer.mll2016logplain
-rw-r--r--coq.ico11326logplain
-rw-r--r--coq.lang8114logplain
-rw-r--r--coq.ml14790logplain
-rw-r--r--coq.mli4511logplain
-rw-r--r--coq.png6269logplain
-rwxr-xr-xcoq2.ico4710logplain
-rw-r--r--coq_commands.ml7692logplain
-rw-r--r--coq_icon.rc28logplain
-rw-r--r--coq_lex.mll2918logplain
-rw-r--r--coq_style.xml712logplain
-rw-r--r--coqide.ml90887logplain
-rw-r--r--coqide.mli1496logplain
-rw-r--r--coqide_main.ml43951logplain
-rw-r--r--coqide_ui.ml5092logplain
-rw-r--r--gtk_parsing.ml6040logplain
-rw-r--r--ide.mllib301logplain
-rw-r--r--ide_mac_stubs.c3247logplain
-rw-r--r--ide_win32_stubs.c1791logplain
-rw-r--r--ideproof.ml5832logplain
-rw-r--r--ideproof.mli824logplain
-rw-r--r--ideutils.ml10184logplain
-rw-r--r--ideutils.mli2653logplain
-rw-r--r--mac_default_accel_map23490logplain
-rw-r--r--minilib.ml1094logplain
-rw-r--r--minilib.mli801logplain
-rw-r--r--preferences.ml28298logplain
-rw-r--r--preferences.mli3136logplain
-rw-r--r--project_file.ml47716logplain
-rw-r--r--tags.ml2534logplain
-rw-r--r--tags.mli1256logplain
-rw-r--r--utf8_convert.mll1306logplain
d---------utils466logplain
-rw-r--r--wg_Command.ml5092logplain
-rw-r--r--wg_Command.mli760logplain
-rw-r--r--wg_Find.ml6981logplain
-rw-r--r--wg_Find.mli859logplain
-rw-r--r--wg_Notebook.ml2644logplain
-rw-r--r--wg_Notebook.mli1352logplain
-rw-r--r--wg_ScriptView.ml9624logplain
-rw-r--r--wg_ScriptView.mli1644logplain