coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	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: corrections pour utf8 de coq. highlight synchrone=repare le bug ↵	monate	2003-03-07
\| \| \| \| \| \|	autorepeat des paste. configuration des accel rateurs. les chaines peuvent contenir des points. Bug: les phrases ne peuvent pas contenir .\sep. Or c'est permis par les Notation. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3750 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