aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/Nametab.v
AgeCommit message (Collapse)Author
2018-10-04Test-suite: avoid explicit references to “Top”Vincent Laporte
2008-06-05Renommage id dans le test Nametab (suite ajout d'une constante de ceherbelin
nom dans l'état initial) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11053 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-12-22Abandon tests syntaxe v7 (correction)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7704 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-12-21Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7693 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-12-09Fichier non traductible (référence à des objets invisibles ce qui ↵herbelin
empêche de traduire Locate) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6448 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-09-27Encore quelques rangements dans Nametab + petits trucscoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3039 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 15:49:12 +0000