coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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