coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Revert and correctly fix "#4843 part 2 : The .cmxs files for plugins must ↵	Pierre Boutillier	2014-12-17
\| \| \| \| \| \|	have x permission" This reverts commit 607503b28fca50f4b76b2237d5ca13802b8252fa.
*	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