coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Coqide : les nouveaute d'aout	monate	2003-09-19
*	coqide: fixed problems with -R -I and coqide interaction	monate	2003-07-16
*	coqide : status bar more informative, forbid Section/Module in proo mode	monate	2003-06-25
*	CoqIDE: undo plus efficace sur les inductifs	filliatr	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: blaster interruptible	monate	2003-05-26
*	coqide: blaster V1	monate	2003-05-22
*	* empty log message *	monate	2003-05-19
*	CoqIde : but reset_mod	filliatr	2003-05-19
*	coqide: load/save file encoding support/	monate	2003-05-14
*	coqide: toolbar/autosave	monate	2003-05-07
*	coqide: bugfix du C-C pendant Undo+paren_highlight	monate	2003-03-27
*	coqide: efficacite des buts etc...	monate	2003-03-27
*	coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...	monate	2003-03-26
*	coqide: addloadpath corrige	monate	2003-03-26
*	coqide: maj commandes	monate	2003-03-14
*	CoqIde: Install.ide Revert bugfix.	monate	2003-03-05
*	IDE: maj	monate	2003-03-04
*	fichiers sur la ligne de commande passes a Coq IDE	filliatr	2003-03-03
*	coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...	monate	2003-02-27
*	ide:copy/paste fix	monate	2003-02-25
*	* empty log message *	monate	2003-02-24
*	CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)	filliatr	2003-02-21
*	Undo dans Coq IDE	filliatr	2003-02-11
*	interface GTK2 experimentale	monate	2003-02-04