coq - The formal proof system

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