coq - the Coq proof assistant

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