coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	fixed same_file (#1141)	barras	2006-10-23
*	fixed non-bug #1213	barras	2006-10-23
*	Pas d'@ dans les identificateurs (pour F4 and co)	herbelin	2006-10-21
*	coqide: affichage des sous-buts et hypothèses et métas comme types de	herbelin	2006-10-19
*	Ajout des options Coqide suggérées par Damien Doligez (wish #1053)	notin	2006-10-13
*	Suppression des warnings à la compilation	notin	2006-09-29
*	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
*	Ajout d'une option -with-geoproof à la configuration et à l'exécution	notin	2006-06-09
*	Correction du bug #728(1086) (ordre de sauvegarde des tactiques dans coqide)	notin	2006-06-08
*	Changement de l'option -where: on vérifie si la variable d'environnement COQ...	notin	2006-06-07
*	Colorisation dans Coqide	notin	2006-05-31
*	Correction bug #990 (LoadPath et option -R de coqide	notin	2006-05-30
*	Affichage des warning gtk comme warning coq	herbelin	2006-05-02
*	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin	2006-04-28
*	Standardisation nom option_app en option_map	herbelin	2006-04-27
*	r8623@thot: notin \| 2006-03-08 12:40:57 +0100	notin	2006-03-08
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	* empty log message *	barras	2006-01-05
*	changing the name of drgeocaml into GeoProof	narboux	2005-12-13
*	coqide send a ack to tell drgeocaml it is received	narboux	2005-11-26
*	* empty log message *	barras	2005-11-25
*	* empty log message *	barras	2005-11-25
*	bug de coqide sous windows (bad file descriptor)	barras	2005-11-23
*	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-18
*	implement support for drgeocaml	narboux	2005-11-17
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	Types inductifs parametriques	mohring	2005-11-02
*	improves shadows in the main window	narboux	2005-07-15
*	suppression de code commente	coq	2005-06-03
*	whelp + correction bug affichage de coqide	coq	2005-06-03
*	Achèvement du déplacement de fonctionnalités unix et browser de ide vers lib	herbelin	2005-05-20
*	Déplacement de fonctionnalités unix et browser de ide vers lib	herbelin	2005-05-19
*	Compatibilité ocamlweb pour cible doc	herbelin	2005-01-21
*	- Module/Declare Module syntax made more uniform:	sacerdot	2005-01-06
*	Complétion déclarations coqide	herbelin	2004-11-27
*	New command "Print Rewrite HindDb dbname".	sacerdot	2004-11-17
*	qq bugs du highlight de CoqIDE	filliatr	2004-10-28
*	2 bugs de reconnaissance	coq	2004-10-15
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	New command "Add Relation ..." (for the new implementation of setoid_*).	sacerdot	2004-09-03
*	"Print Setoids" command added.	sacerdot	2004-07-23
*	Abstraction vis a vis du type loc pour ocaml 3.08	herbelin	2004-07-18
*	Nouvelle en-tête	herbelin	2004-07-16
*	added commands to ide	corbinea	2004-07-08
*	but autoamtics tactics saving	marche	2004-05-03
*	Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la vers...	herbelin	2004-04-30