coq - The formal proof system

Age	Commit message (Expand)	Author
2012-05-23	Cleaned prerr_endline use.	ppedrot
2012-05-23	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill
2012-05-15	Coqide: display initial connection errors in popups instead of on stderr	letouzey
2012-04-27	Removed the quasi-useless gtk2rc file and the documentation that went with it...	ppedrot
2012-04-18	Fixed an initialization bug of Gtk introduced in r15188 that would lead CoqID...	ppedrot
2012-04-17	Coqide: the coqtop to launch is a preference.	pboutill
2011-12-18	CoqIde files position is freedesktop compliant.	pboutill
2011-11-21	coqide default pref files are by default in /etc/xdg/coq/	pboutill
2011-11-20	coqide-gtk2rc not dotted	pboutill
2011-09-01	safe_prerr_endline in Minilib	pboutill
2011-09-01	Add option -f to coqide	pboutill
2011-06-14	Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging	pboutill
2011-06-10	Coqide Menubar integration in MacOS	pboutill
2011-04-28	Coqide: try to properly send interrupts to coqtop on Win32	letouzey
2011-04-21	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-08	Macos integration step2 : shutdown	pboutill
2011-03-28	Ide: new option -coqtop <mycoqtop> + remove wrong quoting of args	letouzey
2011-03-25	Ide: more reorganisation and cleanup	letouzey
2011-03-23	Ide: experimentally allow coqide to interrupt or kill coqtop	letouzey
2011-01-07	MacOS integration	pboutill