coq - The formal proof system

Age	Commit message (Expand)	Author
2007-04-26	fin des conclusions multiples	corbinea
2007-04-25	New keyword "Inline" for Parameters and Axioms for automatic	soubiran
2007-04-16	Add the possibility to change the position of tabs in main window (from r9717).	glondu
2007-04-16	Fix a bug which sometimes made coqide crash after changing	glondu
2007-02-16	Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.	msozeau
2007-01-31	redirection of errors in coqide + dynamic warning printer (needed for tm_egg)	corbinea
2007-01-25	decl mode: anonymous facts	corbinea
2007-01-12	addition du neq unicode	letouzey
2006-11-07	Changement des modifeurs par défaut dans CoqIDE (problème de compatibilité...	notin
2006-10-28	Suite commit 9256: autres cas incorrects de prise en compte de @ dans les ident	herbelin
2006-10-23	fixed same_file (#1141)	barras
2006-10-23	fixed non-bug #1213	barras
2006-10-21	Pas d'@ dans les identificateurs (pour F4 and co)	herbelin
2006-10-19	coqide: affichage des sous-buts et hypothèses et métas comme types de	herbelin
2006-10-13	Ajout des options Coqide suggérées par Damien Doligez (wish #1053)	notin
2006-09-29	Suppression des warnings à la compilation	notin
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-09	Ajout d'une option -with-geoproof à la configuration et à l'exécution	notin
2006-06-08	Correction du bug #728(1086) (ordre de sauvegarde des tactiques dans coqide)	notin
2006-06-07	Changement de l'option -where: on vérifie si la variable d'environnement COQ...	notin
2006-05-31	Colorisation dans Coqide	notin
2006-05-30	Correction bug #990 (LoadPath et option -R de coqide	notin
2006-05-02	Affichage des warning gtk comme warning coq	herbelin
2006-04-28	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin
2006-04-27	Standardisation nom option_app en option_map	herbelin
2006-03-08	r8623@thot: notin \| 2006-03-08 12:40:57 +0100	notin
2006-01-11	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin
2006-01-05	* empty log message *	barras
2005-12-13	changing the name of drgeocaml into GeoProof	narboux
2005-11-26	coqide send a ack to tell drgeocaml it is received	narboux
2005-11-25	* empty log message *	barras
2005-11-25	* empty log message *	barras
2005-11-23	bug de coqide sous windows (bad file descriptor)	barras
2005-11-18	Détection de la version de lablgtk (type GText.view)	herbelin
2005-11-18	Détection de la version de lablgtk (type GText.view)	herbelin
2005-11-17	implement support for drgeocaml	narboux
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin
2005-11-02	Types inductifs parametriques	mohring
2005-07-15	improves shadows in the main window	narboux
2005-06-03	suppression de code commente	coq
2005-06-03	whelp + correction bug affichage de coqide	coq
2005-05-20	Achèvement du déplacement de fonctionnalités unix et browser de ide vers lib	herbelin
2005-05-19	Déplacement de fonctionnalités unix et browser de ide vers lib	herbelin
2005-01-21	Compatibilité ocamlweb pour cible doc	herbelin
2005-01-06	- Module/Declare Module syntax made more uniform:	sacerdot
2004-11-27	Complétion déclarations coqide	herbelin
2004-11-17	New command "Print Rewrite HindDb dbname".	sacerdot