coq - The formal proof system

Age	Commit message (Expand)	Author
2004-01-13	Reflet dans l'arbre de syntaxe de la difference syntaxique entre 'Variables a...	herbelin
2004-01-02	meilleure presentation des commentaires du traducteur	barras
2003-12-30	ameliorations coqide	coq
2003-12-16	coqide menus on golas	marche
2003-12-12	plus de syntaxe v8	marche
2003-12-09	commandes de coqide	marche
2003-12-08	preferences	marche
2003-12-08	bug de preferencs/font"	marche
2003-12-08	pas de Goal pendant une preuve	filliatr
2003-12-05	power associe a droite	marche
2003-12-04	changement menu et toolbar	marche
2003-12-01	contrib jcf	marche
2003-11-28	commands renomme en queries, command goto a la place de forward to backwardt o	marche
2003-11-25	textes	marche
2003-11-24	about	marche
2003-11-24	tentative de completion ESC-/ a la emacs	letouzey
2003-11-18	.v8	herbelin
2003-11-03	Check en plus parmi les keywords	letouzey
2003-10-23	Conjecture declare maintenant un axiome; reorganisation VernacDefinition	herbelin
2003-10-13	Deplacement next_global_ident_away dans Termops	herbelin
2003-10-09	Syntaxe VernacEndProof changee pour ajout mot-cle 'Admitted'	herbelin
2003-09-19	coqide auto complete initial bug fix	marche
2003-09-19	Coqide : les nouveaute d'aout	monate
2003-09-05	highlighting de Extraction	letouzey
2003-09-03	option pour supprimer les menus contextuels sur les buts	marche
2003-09-02	auto completion disabled par defaut	marche
2003-07-18	coqide: new search and AutoCompletion	monate
2003-07-16	coqide: fixed problems with -R -I and coqide interaction	monate
2003-07-10	coqide: warn when using locale or manual charset	monate
2003-07-07	Coqide : focus bug in goal window	monate
2003-07-07	Coqide : ported to lablgtk2 snapshot of 2003/07/07	monate
2003-06-25	coqide : status bar more informative, forbid Section/Module in proo mode	monate
2003-06-19	undo de "Time tactic"	filliatr
2003-06-19	typo	filliatr
2003-06-18	* empty log message *	monate
2003-06-13	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-06	coqide: compile sans activate repare	monate
2003-06-06	bug CoqIDE avec Goal	filliatr
2003-06-02	au lieu de make	monate
2003-05-26	coqide: blaster interruptible	monate
2003-05-26	configure pour CoqIde repare	monate
2003-05-23	coqide: blaster 2	monate
2003-05-23	coqide: blaster 2	monate
2003-05-22	coqide: blaster V1	monate
2003-05-20	CoqIde: externals	monate
2003-05-20	command_windows fix	monate
2003-05-19	* empty log message *	monate