coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Add interfaces for IDE and remove dead code.	Maxime Dénès	2018-01-10
*	Remove GeoProof support.	Maxime Dénès	2017-10-11
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Coqide: annoying popups with GTK errors only in debug mode	Enrico Tassi	2014-08-05
*	CoqIDE: on win32 the old interrputer code (SIGINT) is still needed	Enrico Tassi	2014-07-10
*	CoqIDE: ported to spawn	Enrico Tassi	2014-01-26
*	Fix CoqIDE compilation under standard version of lablgtk2	Enrico Tassi	2013-12-11
*	Tiny fix of r16049	pboutill	2012-12-10
*	Coqide: get rid of threads, use gtk asynchronous i/o instead	letouzey	2012-12-08
*	Coqide: better handling of gtk messages + fix win32 stdout/stderr rerouting	letouzey	2012-12-07
*	Coqide: no reason to ignore Ctrl-C	letouzey	2012-12-07
*	Coqide for Gtk-mac-integration 2.0.0	pboutill	2012-10-23
*	MacOS integration uses lablgtkosx >= 1.1	pboutill	2012-09-17
*	Updating headers.	herbelin	2012-08-08
*	Cleaned prerr_endline use.	ppedrot	2012-05-23
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	Coqide: display initial connection errors in popups instead of on stderr	letouzey	2012-05-15
*	Removed the quasi-useless gtk2rc file and the documentation that went with it...	ppedrot	2012-04-27
*	Fixed an initialization bug of Gtk introduced in r15188 that would lead CoqID...	ppedrot	2012-04-18
*	Coqide: the coqtop to launch is a preference.	pboutill	2012-04-17
*	CoqIde files position is freedesktop compliant.	pboutill	2011-12-18
*	coqide default pref files are by default in /etc/xdg/coq/	pboutill	2011-11-21
*	coqide-gtk2rc not dotted	pboutill	2011-11-20
*	safe_prerr_endline in Minilib	pboutill	2011-09-01
*	Add option -f to coqide	pboutill	2011-09-01
*	Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging	pboutill	2011-06-14
*	Coqide Menubar integration in MacOS	pboutill	2011-06-10
*	Coqide: try to properly send interrupts to coqtop on Win32	letouzey	2011-04-28
*	Coqide: better handling of stdout/stderr in win32	letouzey	2011-04-21
*	Coqide: a special kill function for win32	letouzey	2011-04-21
*	Coqide: try to avoid displaying error messages on coqide's console	letouzey	2011-04-21
*	Win32: remove the need for Coq.bat and Coqide.bat	letouzey	2011-04-21
*	Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...	letouzey	2011-04-21
*	Macos integration step2 : shutdown	pboutill	2011-04-08
*	Ide: new option -coqtop <mycoqtop> + remove wrong quoting of args	letouzey	2011-03-28
*	Ide: more reorganisation and cleanup	letouzey	2011-03-25
*	Ide: experimentally allow coqide to interrupt or kill coqtop	letouzey	2011-03-23
*	MacOS integration	pboutill	2011-01-07