coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	splitted -> split	glondu	2010-02-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12722 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Added option --external to coqdoc to bind an url to an external library.	herbelin	2009-10-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12426 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 d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ↵	notin	2006-05-02
\| \| \| \| \| \|	Mimram) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8775 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout de la doc de l'option -stdout de coqdoc	notin	2006-04-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8749 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Adding a man page for doqdoc (JMN)	coq	2006-01-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7794 85f007b7-540e-0410-9357-904b9bb8a0f7
*	page de man pour coqdoc	filliatr	2004-03-16
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5501 85f007b7-540e-0410-9357-904b9bb8a0f7