aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
ModeNameSize
-rw-r--r--FAQ2515logplain
-rw-r--r--config_lexer.mll2019logplain
-rw-r--r--coq.ico11326logplain
-rw-r--r--coq.lang8219logplain
-rw-r--r--coq.ml20921logplain
-rw-r--r--coq.mli6253logplain
-rw-r--r--coq.png6269logplain
-rwxr-xr-xcoq2.ico4710logplain
-rw-r--r--coqOps.ml14987logplain
-rw-r--r--coqOps.mli1093logplain
-rw-r--r--coq_commands.ml7692logplain
-rw-r--r--coq_icon.rc28logplain
-rw-r--r--coq_lex.mll3290logplain
-rw-r--r--coq_style.xml712logplain
-rw-r--r--coqide.ml43882logplain
-rw-r--r--coqide.mli1731logplain
-rw-r--r--coqide_main.ml44908logplain
-rw-r--r--coqide_ui.ml5217logplain
-rw-r--r--fileOps.ml4798logplain
-rw-r--r--fileOps.mli905logplain
-rw-r--r--gtk_parsing.ml6040logplain
-rw-r--r--ide.mllib366logplain
-rw-r--r--ide_win32_stubs.c1791logplain
-rw-r--r--ideutils.ml12529logplain
-rw-r--r--ideutils.mli3322logplain
-rw-r--r--mac_default_accel_map23434logplain
-rw-r--r--minilib.ml1714logplain
-rw-r--r--minilib.mli929logplain
-rw-r--r--preferences.ml28755logplain
-rw-r--r--preferences.mli3176logplain
-rw-r--r--project_file.ml48143logplain
-rw-r--r--sentence.ml5064logplain
-rw-r--r--sentence.mli858logplain
-rw-r--r--session.ml8679logplain
-rw-r--r--session.mli1175logplain
-rw-r--r--tags.ml2652logplain
-rw-r--r--tags.mli1306logplain
-rw-r--r--utf8_convert.mll1306logplain
d---------utils466logplain
-rw-r--r--wg_Command.ml5202logplain
-rw-r--r--wg_Command.mli760logplain
-rw-r--r--wg_Completion.ml14826logplain
-rw-r--r--wg_Completion.mli1139logplain
-rw-r--r--wg_Find.ml9848logplain
-rw-r--r--wg_Find.mli849logplain
-rw-r--r--wg_MessageView.ml1686logplain
-rw-r--r--wg_MessageView.mli932logplain
-rw-r--r--wg_Notebook.ml2643logplain
-rw-r--r--wg_Notebook.mli1352logplain
-rw-r--r--wg_ProofView.ml7015logplain
-rw-r--r--wg_ProofView.mli827logplain
-rw-r--r--wg_ScriptView.ml15649logplain
-rw-r--r--wg_ScriptView.mli1963logplain