coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Remove bashisms	glondu	2010-01-28
\| \| \| \| \| \| \|	As pointed out by Nima Hoda, bash is not installed everywhere... and we really don't NEED bash anyway. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12701 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch	herbelin	2009-04-08
\| \| \| \| \| \| \| \| \| \|	(r12063) for smooth compilation/installation under Solaris (/bin/sh -> /bin/bash, -or -> -o in find, echo -n -> printf, ! in test rather than in if). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12065 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Gestion des espaces dans les noms + guess_coqlib sous Windows	notin	2009-02-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11921 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Remplacement de cp --parents par un script sh	notin	2009-01-22
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11833 85f007b7-540e-0410-9357-904b9bb8a0f7