aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqide_main.ml4
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Add interfaces for IDE and remove dead code.Gravatar Maxime Dénès2018-01-10
* Remove GeoProof support.Gravatar Maxime Dénès2017-10-11
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Coqide: annoying popups with GTK errors only in debug modeGravatar Enrico Tassi2014-08-05
* CoqIDE: on win32 the old interrputer code (SIGINT) is still neededGravatar Enrico Tassi2014-07-10
* CoqIDE: ported to spawnGravatar Enrico Tassi2014-01-26
* Fix CoqIDE compilation under standard version of lablgtk2Gravatar Enrico Tassi2013-12-11
* Tiny fix of r16049Gravatar pboutill2012-12-10
* Coqide: get rid of threads, use gtk asynchronous i/o insteadGravatar letouzey2012-12-08
* Coqide: better handling of gtk messages + fix win32 stdout/stderr reroutingGravatar letouzey2012-12-07
* Coqide: no reason to ignore Ctrl-CGravatar letouzey2012-12-07
* Coqide for Gtk-mac-integration 2.0.0Gravatar pboutill2012-10-23
* MacOS integration uses lablgtkosx >= 1.1Gravatar pboutill2012-09-17
* Updating headers.Gravatar herbelin2012-08-08
* Cleaned prerr_endline use.Gravatar ppedrot2012-05-23
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Coqide: display initial connection errors in popups instead of on stderrGravatar letouzey2012-05-15
* Removed the quasi-useless gtk2rc file and the documentation that went with it...Gravatar ppedrot2012-04-27
* Fixed an initialization bug of Gtk introduced in r15188 that would lead CoqID...Gravatar ppedrot2012-04-18
* Coqide: the coqtop to launch is a preference.Gravatar pboutill2012-04-17
* CoqIde files position is freedesktop compliant.Gravatar pboutill2011-12-18
* coqide default pref files are by default in /etc/xdg/coq/Gravatar pboutill2011-11-21
* coqide-gtk2rc not dottedGravatar pboutill2011-11-20
* safe_prerr_endline in MinilibGravatar pboutill2011-09-01
* Add option -f to coqideGravatar pboutill2011-09-01
* Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingGravatar pboutill2011-06-14
* Coqide Menubar integration in MacOSGravatar pboutill2011-06-10
* Coqide: try to properly send interrupts to coqtop on Win32Gravatar letouzey2011-04-28
* Coqide: better handling of stdout/stderr in win32Gravatar letouzey2011-04-21
* Coqide: a special kill function for win32Gravatar letouzey2011-04-21
* Coqide: try to avoid displaying error messages on coqide's consoleGravatar letouzey2011-04-21
* Win32: remove the need for Coq.bat and Coqide.batGravatar letouzey2011-04-21
* Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...Gravatar letouzey2011-04-21
* Macos integration step2 : shutdownGravatar pboutill2011-04-08
* Ide: new option -coqtop <mycoqtop> + remove wrong quoting of argsGravatar letouzey2011-03-28
* Ide: more reorganisation and cleanupGravatar letouzey2011-03-25
* Ide: experimentally allow coqide to interrupt or kill coqtopGravatar letouzey2011-03-23
* MacOS integrationGravatar pboutill2011-01-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-25 23:38:05 +0000