aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide_main.ml4
AgeCommit message (Expand)Author
2018-11-02Select OS specific coqide code with cp.Gaëtan Gilbert
2018-02-27Update headers following #6543.Théo Zimmermann
2018-01-10Add interfaces for IDE and remove dead code.Maxime Dénès
2017-10-11Remove GeoProof support.Maxime Dénès
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2014-08-05Coqide: annoying popups with GTK errors only in debug modeEnrico Tassi
2014-07-10CoqIDE: on win32 the old interrputer code (SIGINT) is still neededEnrico Tassi
2014-01-26CoqIDE: ported to spawnEnrico Tassi
2013-12-11Fix CoqIDE compilation under standard version of lablgtk2Enrico Tassi
2012-12-10Tiny fix of r16049pboutill
2012-12-08Coqide: get rid of threads, use gtk asynchronous i/o insteadletouzey
2012-12-07Coqide: better handling of gtk messages + fix win32 stdout/stderr reroutingletouzey
2012-12-07Coqide: no reason to ignore Ctrl-Cletouzey
2012-10-23Coqide for Gtk-mac-integration 2.0.0pboutill
2012-09-17MacOS integration uses lablgtkosx >= 1.1pboutill
2012-08-08Updating headers.herbelin
2012-05-23Cleaned prerr_endline use.ppedrot
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-15Coqide: display initial connection errors in popups instead of on stderrletouzey
2012-04-27Removed the quasi-useless gtk2rc file and the documentation that went with it...ppedrot
2012-04-18Fixed an initialization bug of Gtk introduced in r15188 that would lead CoqID...ppedrot
2012-04-17Coqide: the coqtop to launch is a preference.pboutill
2011-12-18CoqIde files position is freedesktop compliant.pboutill
2011-11-21coqide default pref files are by default in /etc/xdg/coq/pboutill
2011-11-20coqide-gtk2rc not dottedpboutill
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-02-09 13:45:36 +0000