coq/scripts/.cvsignore, branch master

Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des 'properties' de Subversion

2006-04-28T10:34:25+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8758 85f007b7-540e-0410-9357-904b9bb8a0f7

compilation des fichiers ml4 sans GNUseries

2000-11-03T10:21:00+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@795 85f007b7-540e-0410-9357-904b9bb8a0f7

- simplification Makefile (compilation des fichiers .ml'; pas encore parfait

2000-10-31T13:57:01+00:00

  car on passe par les fichiers .ml)
- Require Export enfin rétabli avec la bonne sémantique


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@792 85f007b7-540e-0410-9357-904b9bb8a0f7

modules et coqc

1999-12-12T22:04:30+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@239 85f007b7-540e-0410-9357-904b9bb8a0f7

coqmktop

1999-12-03T14:23:32+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@196 85f007b7-540e-0410-9357-904b9bb8a0f7