coq/dev/v8-syntax/check-grammar, branch master The formal proof system Remove bashisms 2010-01-28T22:10:08+00:00 glondu 2010-01-28T22:10:08+00:00 115860adb8e0054b005fe08efc45d999b2f0f3c1 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 
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
Restructuration dossier dev et mise à jour de certaines documentations 2006-05-23T21:51:59+00:00 herbelin 2006-05-23T21:51:59+00:00 e24d8149c3aefd11b03458b6f9b3e38ca454b07a git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7