coq - The formal proof system

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