aboutsummaryrefslogtreecommitdiff
path: root/theories7/Reals
AgeCommit message (Collapse)Author
2005-12-26Suppression des fichiers .v en ancienne syntaxeherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7733 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-13Détection d'un Fold incorrect suite à correction bug #986herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7223 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-07-16Nouvelle en-têteherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5920 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-13Suppression de Rsyntax en v8herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5197 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-09bugs avec Pose et Assertbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5190 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-09Retrait de la notation '^' pour 'power' en V7 car sinon confusion avec la ↵herbelin
syntaxe '^' de append qui est a un autre niveau git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5188 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-01Meilleure robustesse des reordonnement d'argumentsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5046 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-29Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5030 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-29Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5026 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 02:13:50 +0000