coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	ajout des Print Scopes dans liste commandes sans effet	mohring	2004-03-15
*	ide: silent behavior better, save icon, -byte works	marche	2004-03-03
*	Localisation des erreurs d'internalisation des notations de tactiques	herbelin	2004-02-12
*	bug fix find coqide	coq	2004-02-04
*	highlight	marche	2004-02-04
*	search window	coq	2004-02-04
*	pour ide sous windows	coq	2004-01-29
*	coqide utf8	marche	2004-01-20
*	Reflet dans l'arbre de syntaxe de la difference syntaxique entre 'Variables a...	herbelin	2004-01-13
*	meilleure presentation des commentaires du traducteur	barras	2004-01-02
*	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
*	pas de Goal pendant une preuve	filliatr	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
*	.v8	herbelin	2003-11-18
*	Check en plus parmi les keywords	letouzey	2003-11-03
*	Conjecture declare maintenant un axiome; reorganisation VernacDefinition	herbelin	2003-10-23
*	Deplacement next_global_ident_away dans Termops	herbelin	2003-10-13
*	Syntaxe VernacEndProof changee pour ajout mot-cle 'Admitted'	herbelin	2003-10-09
*	coqide auto complete initial bug fix	marche	2003-09-19
*	Coqide : les nouveaute d'aout	monate	2003-09-19
*	highlighting de Extraction	letouzey	2003-09-05
*	option pour supprimer les menus contextuels sur les buts	marche	2003-09-03
*	auto completion disabled par defaut	marche	2003-09-02
*	coqide: new search and AutoCompletion	monate	2003-07-18
*	coqide: fixed problems with -R -I and coqide interaction	monate	2003-07-16
*	coqide: warn when using locale or manual charset	monate	2003-07-10
*	Coqide : focus bug in goal window	monate	2003-07-07
*	Coqide : ported to lablgtk2 snapshot of 2003/07/07	monate	2003-07-07
*	coqide : status bar more informative, forbid Section/Module in proo mode	monate	2003-06-25
*	undo de "Time tactic"	filliatr	2003-06-19
*	typo	filliatr	2003-06-19
*	* empty log message *	monate	2003-06-18
*	CoqIDE: undo plus efficace sur les inductifs	filliatr	2003-06-13
*	coqide: indentation	monate	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-06-13
*	coqide: compile sans activate repare	monate	2003-06-06
*	bug CoqIDE avec Goal	filliatr	2003-06-06
*	au lieu de make	monate	2003-06-02