coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuve	herbelin	2008-04-25
*	Modifications diverses et variées :	herbelin	2008-03-30
*	CoqIDE default font set to monospace so as indentation to be meaningful	herbelin	2008-03-23
*	Branchement de l'auto-save de coqide par défaut	herbelin	2008-03-04
*	Correction du bug #1770: il semble que la recherche insensible à la casse ne...	notin	2008-01-10
*	migration of ide/utf8.v to theories/Unicode/Utf8.v	letouzey	2007-12-13
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Commit intermédiaire express de réparation de coqide.ml, que j'avais	aspiwack	2007-12-06
*	Factorisation des opérations sur le type option de Util dans un module	aspiwack	2007-12-05
*	Report de la révision #10197 (adaptation à Lablgtk 2.10.0)	notin	2007-10-18
*	add visibility of extraction messages in coqide	letouzey	2007-10-16
*	Correction d'un bug de l'appel à make via Coqide	notin	2007-10-16
*	Maj du lien vers coq-bugs dans Coqide	notin	2007-10-12
*	Amélioration de l'appel aux outils externes via Coqide	notin	2007-10-09
*	Bug 1716: Scheme now print the right messages	vsiles	2007-10-04
*	fixed icons	barras	2007-09-04
*	fin des conclusions multiples	corbinea	2007-04-26
*	New keyword "Inline" for Parameters and Axioms for automatic	soubiran	2007-04-25
*	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-04-16
*	Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.	msozeau	2007-02-16
*	redirection of errors in coqide + dynamic warning printer (needed for tm_egg)	corbinea	2007-01-31
*	decl mode: anonymous facts	corbinea	2007-01-25
*	addition du neq unicode	letouzey	2007-01-12
*	Changement des modifeurs par défaut dans CoqIDE (problème de compatibilité...	notin	2006-11-07
*	Suite commit 9256: autres cas incorrects de prise en compte de @ dans les ident	herbelin	2006-10-28
*	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