coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Fixed the CoqIDE preference width	ppedrot	2012-04-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15217 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Icons in CoqIdE preference panel	pboutill	2011-10-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14590 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Remove dubious call to Obj.magic (and dead code, by the way)	glondu	2009-11-13
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12522 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: 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