summaryrefslogtreecommitdiff
path: root/ide
ModeNameSize
-rw-r--r--.merlin.in83logplain
-rw-r--r--FAQ2514logplain
d---------MacOS171logplain
-rw-r--r--Make75logplain
-rw-r--r--config_lexer.mli797logplain
-rw-r--r--config_lexer.mll2177logplain
-rw-r--r--configwin.ml2806logplain
-rw-r--r--configwin.mli8113logplain
-rw-r--r--configwin_ihm.ml25127logplain
-rw-r--r--configwin_ihm.mli3490logplain
-rw-r--r--configwin_messages.ml2575logplain
-rw-r--r--configwin_types.ml6486logplain
-rw-r--r--coq-ssreflect.lang9695logplain
-rw-r--r--coq.ico11326logplain
-rw-r--r--coq.lang9946logplain
-rw-r--r--coq.ml20998logplain
-rw-r--r--coq.mli7101logplain
-rw-r--r--coq.png12907logplain
-rwxr-xr-xcoq2.ico4710logplain
-rw-r--r--coqOps.ml33535logplain
-rw-r--r--coqOps.mli1698logplain
-rw-r--r--coq_commands.ml7825logplain
-rw-r--r--coq_commands.mli774logplain
-rw-r--r--coq_icon.rc28logplain
-rw-r--r--coq_lex.mli769logplain
-rw-r--r--coq_lex.mll3579logplain
-rw-r--r--coq_style.xml1441logplain
-rw-r--r--coqide.ml49153logplain
-rw-r--r--coqide.mli1836logplain
-rw-r--r--coqide_main.ml45075logplain
-rw-r--r--coqide_main.mli808logplain
-rw-r--r--coqide_ui.ml6315logplain
-rw-r--r--coqide_ui.mli730logplain
-rw-r--r--document.ml6240logplain
-rw-r--r--document.mli4719logplain
-rw-r--r--fileOps.ml4911logplain
-rw-r--r--fileOps.mli1055logplain
-rw-r--r--gtk_parsing.ml2576logplain
-rw-r--r--gtk_parsing.mli1286logplain
-rw-r--r--ide.mllib373logplain
-rw-r--r--ide_common.mllib71logplain
-rw-r--r--ide_win32_stubs.c1791logplain
-rw-r--r--idetop.ml19030logplain
-rw-r--r--ideutils.ml17294logplain
-rw-r--r--ideutils.mli3830logplain
-rw-r--r--macos_prehook.ml1530logplain
-rw-r--r--macos_prehook.mli808logplain
-rw-r--r--minilib.ml2239logplain
-rw-r--r--minilib.mli1272logplain
-rw-r--r--nanoPG.ml13082logplain
-rw-r--r--nanoPG.mli835logplain
-rw-r--r--preferences.ml33913logplain
-rw-r--r--preferences.mli4094logplain
d---------protocol576logplain
-rw-r--r--sentence.ml5442logplain
-rw-r--r--sentence.mli1008logplain
-rw-r--r--session.ml20900logplain
-rw-r--r--session.mli1763logplain
-rw-r--r--tags.ml2622logplain
-rw-r--r--tags.mli1457logplain
-rw-r--r--utf8_convert.mli701logplain
-rw-r--r--utf8_convert.mll1457logplain
-rw-r--r--wg_Command.ml7032logplain
-rw-r--r--wg_Command.mli995logplain
-rw-r--r--wg_Completion.ml15997logplain
-rw-r--r--wg_Completion.mli1483logplain
-rw-r--r--wg_Detachable.ml3050logplain
-rw-r--r--wg_Detachable.mli1560logplain
-rw-r--r--wg_Find.ml10417logplain
-rw-r--r--wg_Find.mli975logplain
-rw-r--r--wg_MessageView.ml4796logplain
-rw-r--r--wg_MessageView.mli1324logplain
-rw-r--r--wg_Notebook.ml2798logplain
-rw-r--r--wg_Notebook.mli1524logplain
-rw-r--r--wg_ProofView.ml10126logplain
-rw-r--r--wg_ProofView.mli993logplain
-rw-r--r--wg_RoutedMessageViews.ml1746logplain
-rw-r--r--wg_RoutedMessageViews.mli1082logplain
-rw-r--r--wg_ScriptView.ml17186logplain
-rw-r--r--wg_ScriptView.mli2113logplain
-rw-r--r--wg_Segment.ml4954logplain
-rw-r--r--wg_Segment.mli1335logplain