coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Updating headers.	herbelin	2012-08-08
*	Coqide: display initial connection errors in popups instead of on stderr	letouzey	2012-05-15
*	Add option -f to coqide	pboutill	2011-09-01
*	coqide shutdown process change (and out the main function)	pboutill	2011-04-08
*	Coqide: avoid confusion of process when restarting coqtop + cosmetic	letouzey	2011-03-30
*	Ide: new option -coqtop <mycoqtop> + remove wrong quoting of args	letouzey	2011-03-28
*	Ide: experimentally allow coqide to interrupt or kill coqtop	letouzey	2011-03-23
*	MacOS integration	pboutill	2011-01-07
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Compatibilité ocamlweb pour cible doc	herbelin	2005-01-21
*	Nouvelle en-tête	herbelin	2004-07-16
*	coqide: missing files	monate	2003-05-07