Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |