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

Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states par les fichiers nouvelle syntaxe

2003-11-29T17:55:04+00:00

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

MAJ .v8

2003-10-10T18:54:42+00:00

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

* empty log message *

2003-03-14T11:05:13+00:00

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

gros commit de tout ce que j'ai fait pendant les vacances :

2000-01-21T18:42:22+00:00

 - tactics/Equality
 - debug du discharge
 - constr_of_compattern implante vite fait / mal fait en attendant mieux
 - theories/Logic (ne passe pas entierrement)


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

repertoire pour les etats

1999-12-05T18:45:13+00:00

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

coq/states/.cvsignore, branch master

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

Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states par les fichiers nouvelle syntaxe

MAJ .v8

*** empty log message ***

gros commit de tout ce que j'ai fait pendant les vacances :

repertoire pour les etats

* empty log message *