coq/theories/Num, branch master

Répertoire Numbers poursuit l'objectif entamé en syntaxe V7 dans le

2007-07-13T14:55:03+00:00

répertoire Num. Suppression de ce dernier de l'archive courante.



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

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

deux tags $ mal formes

2006-03-16T19:24:17+00:00

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

Nouvelle en-tête

2004-07-16T20:01:26+00:00

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

reorganisation des niveaux (ex: = est a 70)

2003-10-22T10:35:04+00:00

Hint Destruct: syntaxe similaire aux autres hints...


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

Cacher les .v8

2003-10-03T23:09:28+00:00

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

* empty log message *

2003-03-21T17:37:19+00:00

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

Uniformisation (Qed/Save et Implicits Arguments)

2002-04-17T11:30:23+00:00

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

option -dump-glob pour coqdoc

2002-02-14T14:39:07+00:00

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

ajout option , Exc --> option, et lemmes dans les theories

2001-08-29T13:49:09+00:00

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