coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	remove old traces of SearchIsos (never ported to 7.x nor 8.x)	letouzey	2011-04-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13986 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Remove references to -ide option of coqmktop	glondu	2011-01-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13789 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Various fixes in manpages	glondu	2008-08-08
\| \| \| \| \| \| \| \|	* hyphen meant as the ascii character should be escaped * lines starting with a dot have a special meaning git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11322 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout de pages de man pour les exécutables coq	notin	2006-10-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9233 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout pages de man coq_makefile et coqmktop	courant	2001-04-25
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1716 85f007b7-540e-0410-9357-904b9bb8a0f7