coq - The formal proof system

Age	Commit message (Expand)	Author
2008-05-24	- Prise en compte des frozen state de Coq autant que possible pour	herbelin
2008-05-10	Amélioration de la colorisation, du backtrack et des messages de CoqIDE	herbelin
2008-05-08	Efficacité, bugs, robustesse CoqIDE	herbelin
2007-04-26	fin des conclusions multiples	corbinea
2006-09-20	Declarative Proof Language: main commit	corbinea
2006-05-30	Correction bug #990 (LoadPath et option -R de coqide	notin
2005-01-21	Compatibilité ocamlweb pour cible doc	herbelin
2004-07-18	Abstraction vis a vis du type loc pour ocaml 3.08	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-03-03	ide: silent behavior better, save icon, -byte works	marche
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 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-07	coqide: toolbar/autosave	monate
2003-03-26	coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...	monate
2003-03-14	coqide: maj commandes	monate
2003-03-04	IDE: maj	monate
2003-02-24	* empty log message *	monate
2003-02-11	Undo dans Coq IDE	filliatr
2003-02-04	interface GTK2 experimentale	monate