coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Correction bug #1842 + correction bug initialisation introduit dans	herbelin	2008-05-10
*	Amélioration de la colorisation, du backtrack et des messages de CoqIDE	herbelin	2008-05-10
*	Efficacité, bugs, robustesse CoqIDE	herbelin	2008-05-08
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	redirection of errors in coqide + dynamic warning printer (needed for tm_egg)	corbinea	2007-01-31
*	fixed same_file (#1141)	barras	2006-10-23
*	Changement de l'option -where: on vérifie si la variable d'environnement COQ...	notin	2006-06-07
*	* 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
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	Déplacement de fonctionnalités unix et browser de ide vers lib	herbelin	2005-05-19
*	Nouvelle en-tête	herbelin	2004-07-16
*	search window	coq	2004-02-04
*	pour ide sous windows	coq	2004-01-29
*	ameliorations coqide	coq	2003-12-30
*	Coqide : les nouveaute d'aout	monate	2003-09-19
*	coqide: warn when using locale or manual charset	monate	2003-07-10
*	Coqide : ported to lablgtk2 snapshot of 2003/07/07	monate	2003-07-07
*	coqide: indentation	monate	2003-06-13
*	coqide: blaster V1	monate	2003-05-22
*	CoqIde: externals	monate	2003-05-20
*	coqide: load/save file encoding support/	monate	2003-05-14
*	coqide: toolbar/autosave	monate	2003-05-07
*	fichier de pref coq IDE en ASCII (ENFIN)	filliatr	2003-04-28
*	* empty log message *	monate	2003-04-24
*	coqide : progressbar	monate	2003-04-22
*	coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...	monate	2003-03-26
*	coqide: compact delete event-search start	monate	2003-03-24
*	coqide: .coqidepref en bin. Preferences en plus	monate	2003-03-12
*	coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...	monate	2003-03-07
*	coqide: fenetre de cmmandes . undo correct	monate	2003-03-06
*	CoqIde: Install.ide Revert bugfix.	monate	2003-03-05
*	coqide: partage -debug avec coqtop	monate	2003-03-04
*	IDE: maj	monate	2003-03-04
*	CoqIDE: copy/paste	monate	2003-03-03
*	IDE: debug=false	filliatr	2003-03-03
*	coqide: preferences support and optimizations	monate	2003-03-03
*	coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...	monate	2003-02-27
*	coqide: preliminary support for mnemonics. Edit menu. Context help now works ...	monate	2003-02-26
*	coqide : aide sur selection ou sur mot	monate	2003-02-24
*	aide contextuelle / menus compilation + print + export	filliatr	2003-02-24
*	CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)	filliatr	2003-02-21