coq/parsing/.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

Modules dans COQ\!\!\!\!

2002-08-02T17:17:42+00:00

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

ajout

2000-11-29T15:30:17+00:00

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

MAJ

2000-11-07T10:49:17+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@817 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

mise au point lexer / debugage PP

1999-12-05T18:36:46+00:00

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

(debut) de grammaire minicoq

1999-09-07T09:27:49+00:00

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

debut d'un lexer

1999-09-06T15:14:07+00:00

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