coq - The formal proof system

Age	Commit message (Collapse)	Author
2009-11-13	Remove dubious call to Obj.magic (and dead code, by the way)	glondu
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12522 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-03-08	r8623@thot: notin \| 2006-03-08 12:40:57 +0100	notin
	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
2004-04-13	Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon ↵	herbelin
	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
2003-03-07	coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug ↵	monate
	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
2003-03-03	coqide: preferences support and optimizations	monate
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3724 85f007b7-540e-0410-9357-904b9bb8a0f7