coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Updating headers.	herbelin	2012-08-08
*	Remove old proof-managment commands Suspend/Resume	letouzey	2012-03-23
*	This adds two option tables 'Printing Record' and 'Printing Constructor'	herbelin	2011-07-16
*	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
*	Completing support for F5=About by adding About to the state-preserving comma...	herbelin	2009-07-08
*	remove set printing ... and unset printing ... from template menu as they are...	jnarboux	2008-05-26
*	- Nouvelle option "Set Printing Existential Instances" pour forcer	herbelin	2008-05-25
*	Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.	msozeau	2007-02-16
*	whelp + correction bug affichage de coqide	coq	2005-06-03
*	New command "Print Rewrite HindDb dbname".	sacerdot	2004-11-17
*	New command "Add Relation ..." (for the new implementation of setoid_*).	sacerdot	2004-09-03
*	"Print Setoids" command added.	sacerdot	2004-07-23
*	Nouvelle en-tête	herbelin	2004-07-16
*	added commands to ide	corbinea	2004-07-08
*	mise a jour des menus	mohring	2004-03-16
*	ajout des Print Scopes dans liste commandes sans effet	mohring	2004-03-15
*	highlight	marche	2004-02-04
*	search window	coq	2004-02-04
*	ameliorations coqide	coq	2003-12-30
*	plus de syntaxe v8	marche	2003-12-12
*	commandes de coqide	marche	2003-12-09
*	bug de preferencs/font"	marche	2003-12-08
*	CoqIDE: undo immediat sur les commandes ne modifiant pas l'etat	filliatr	2003-06-13
*	CoqIde: AccelMap support	monate	2003-05-12
*	coqide: toolbar/autosave	monate	2003-05-07
*	oubli	letouzey	2003-04-16
*	petit oubli	letouzey	2003-03-15
*	coqide: fenetre de cmmandes . undo correct	monate	2003-03-06
*	IDE: menu templates	filliatr	2003-03-05