aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide_main.ml4
AgeCommit message (Expand)Author
2011-09-01safe_prerr_endline in Minilibpboutill
2011-09-01Add option -f to coqidepboutill
2011-06-14Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingpboutill
2011-06-10Coqide Menubar integration in MacOSpboutill
2011-04-28Coqide: try to properly send interrupts to coqtop on Win32letouzey
2011-04-21Coqide: better handling of stdout/stderr in win32letouzey
2011-04-21Coqide: a special kill function for win32letouzey
2011-04-21Coqide: try to avoid displaying error messages on coqide's consoleletouzey
2011-04-21Win32: remove the need for Coq.bat and Coqide.batletouzey
2011-04-21Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...letouzey
2011-04-08Macos integration step2 : shutdownpboutill
2011-03-28Ide: new option -coqtop <mycoqtop> + remove wrong quoting of argsletouzey
2011-03-25Ide: more reorganisation and cleanupletouzey
2011-03-23Ide: experimentally allow coqide to interrupt or kill coqtopletouzey
2011-01-07MacOS integrationpboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-22 05:22:30 +0000