coq - The formal proof system

Age	Commit message (Expand)	Author
2008-06-01	Quelques amendements liées à la compilation des packages.	herbelin
2007-12-06	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack
2007-04-16	Fix a bug which sometimes made coqide crash after changing	glondu
2006-09-20	Declarative Proof Language: main commit	corbinea
2006-04-28	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin
2006-03-08	r8623@thot: notin \| 2006-03-08 12:40:57 +0100	notin
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin
2004-04-30	Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la vers...	herbelin
2004-04-13	Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...	herbelin
2003-12-30	ameliorations coqide	coq
2003-07-07	Coqide : ported to lablgtk2 snapshot of 2003/07/07	monate
2003-05-14	coqide: load/save file encoding support/	monate
2003-05-07	coqide: toolbar/autosave	monate
2003-03-24	coqide: compact delete event-search start	monate
2003-03-14	coqide: maj preferences du wizzard	monate
2003-03-07	coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...	monate
2003-03-05	CoqIde: Install.ide Revert bugfix.	monate
2003-03-03	coqide: preferences support and optimizations	monate