coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Amélioration de l'appel aux outils externes via Coqide	notin	2007-10-09
*	fin des conclusions multiples	corbinea	2007-04-26
*	Add the possibility to change the position of tabs in main window (from r9717).	glondu	2007-04-16
*	Suite commit 9256: autres cas incorrects de prise en compte de @ dans les ident	herbelin	2006-10-28
*	fixed non-bug #1213	barras	2006-10-23
*	Pas d'@ dans les identificateurs (pour F4 and co)	herbelin	2006-10-21
*	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
*	Ajout d'une option -with-geoproof à la configuration et à l'exécution	notin	2006-06-09
*	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
*	Affichage des warning gtk comme warning coq	herbelin	2006-05-02
*	Standardisation nom option_app en option_map	herbelin	2006-04-27
*	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
*	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
*	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
*	- Module/Declare Module syntax made more uniform:	sacerdot	2005-01-06
*	2 bugs de reconnaissance	coq	2004-10-15
*	Abstraction vis a vis du type loc pour ocaml 3.08	herbelin	2004-07-18
*	Nouvelle en-tête	herbelin	2004-07-16
*	warning dialog when save fails	marche	2004-04-06
*	ide: silent behavior better, save icon, -byte works	marche	2004-03-03
*	bug fix find coqide	coq	2004-02-04
*	highlight	marche	2004-02-04
*	search window	coq	2004-02-04
*	ameliorations coqide	coq	2003-12-30
*	coqide menus on golas	marche	2003-12-16
*	plus de syntaxe v8	marche	2003-12-12
*	commandes de coqide	marche	2003-12-09
*	preferences	marche	2003-12-08
*	bug de preferencs/font"	marche	2003-12-08
*	power associe a droite	marche	2003-12-05
*	changement menu et toolbar	marche	2003-12-04
*	contrib jcf	marche	2003-12-01
*	commands renomme en queries, command goto a la place de forward to backwardt o	marche	2003-11-28
*	textes	marche	2003-11-25
*	about	marche	2003-11-24
*	tentative de completion ESC-/ a la emacs	letouzey	2003-11-24
*	Conjecture declare maintenant un axiome; reorganisation VernacDefinition	herbelin	2003-10-23
*	Syntaxe VernacEndProof changee pour ajout mot-cle 'Admitted'	herbelin	2003-10-09
*	coqide auto complete initial bug fix	marche	2003-09-19