coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	add visibility of extraction messages in coqide	letouzey	2007-10-16
*	Bug 1716: Scheme now print the right messages	vsiles	2007-10-04
*	fin des conclusions multiples	corbinea	2007-04-26
*	New keyword "Inline" for Parameters and Axioms for automatic	soubiran	2007-04-25
*	decl mode: anonymous facts	corbinea	2007-01-25
*	fixed same_file (#1141)	barras	2006-10-23
*	coqide: affichage des sous-buts et hypothèses et métas comme types de	herbelin	2006-10-19
*	Declarative Proof Language: main commit	corbinea	2006-09-20
*	Suite commit 9110 (uniformisation position notation dans les blocs inductifs)	herbelin	2006-09-01
*	Modifications dans les scripts de configuration (coqtop et coqide affichent m...	notin	2006-07-28
*	Remplacement VernacDebug par VernacSetOption (suite)	herbelin	2006-07-06
*	Changement de l'option -where: on vérifie si la variable d'environnement COQ...	notin	2006-06-07
*	Correction bug #990 (LoadPath et option -R de coqide	notin	2006-05-30
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	bug de coqide sous windows (bad file descriptor)	barras	2005-11-23
*	Types inductifs parametriques	mohring	2005-11-02
*	- Module/Declare Module syntax made more uniform:	sacerdot	2005-01-06
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	Nouvelle en-tête	herbelin	2004-07-16
*	ide: silent behavior better, save icon, -byte works	marche	2004-03-03
*	Localisation des erreurs d'internalisation des notations de tactiques	herbelin	2004-02-12
*	highlight	marche	2004-02-04
*	Reflet dans l'arbre de syntaxe de la difference syntaxique entre 'Variables a...	herbelin	2004-01-13
*	meilleure presentation des commentaires du traducteur	barras	2004-01-02
*	ameliorations coqide	coq	2003-12-30
*	coqide menus on golas	marche	2003-12-16
*	plus de syntaxe v8	marche	2003-12-12
*	pas de Goal pendant une preuve	filliatr	2003-12-08
*	changement menu et toolbar	marche	2003-12-04
*	Conjecture declare maintenant un axiome; reorganisation VernacDefinition	herbelin	2003-10-23
*	Deplacement next_global_ident_away dans Termops	herbelin	2003-10-13
*	Coqide : les nouveaute d'aout	monate	2003-09-19
*	coqide: fixed problems with -R -I and coqide interaction	monate	2003-07-16
*	coqide : status bar more informative, forbid Section/Module in proo mode	monate	2003-06-25
*	CoqIDE: undo plus efficace sur les inductifs	filliatr	2003-06-13
*	coqide: about now displays versions/Fix for alt-enter	monate	2003-06-13
*	CoqIDE: undo immediat sur les commandes ne modifiant pas l'etat	filliatr	2003-06-13
*	coqide: blaster interruptible	monate	2003-05-26
*	coqide: blaster V1	monate	2003-05-22
*	* empty log message *	monate	2003-05-19
*	CoqIde : but reset_mod	filliatr	2003-05-19
*	coqide: load/save file encoding support/	monate	2003-05-14
*	coqide: toolbar/autosave	monate	2003-05-07
*	coqide: bugfix du C-C pendant Undo+paren_highlight	monate	2003-03-27
*	coqide: efficacite des buts etc...	monate	2003-03-27
*	coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...	monate	2003-03-26
*	coqide: addloadpath corrige	monate	2003-03-26
*	coqide: maj commandes	monate	2003-03-14
*	CoqIde: Install.ide Revert bugfix.	monate	2003-03-05