coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7
*	r8623@thot: notin \| 2006-03-08 12:40:57 +0100	notin	2006-03-08
\| \| \| \| \| \| \|	Passage à la version LGPL de Configwin dans le trunk git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8618 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon ↵	herbelin	2004-04-13
\| \| \| \| \| \|	en remplacement de la version 1.2 qui etait sous QPL git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5670 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqide: preferences support and optimizations	monate	2003-03-03
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3724 85f007b7-540e-0410-9357-904b9bb8a0f7