aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/TranspModtype.out
AgeCommit message (Expand)Author
2019-01-09Stop [Print] from saying [is (not) universe polymorphic].Gaëtan Gilbert
2018-12-17Stop printing Monomorphic/Polymorphic in Print.Gaëtan Gilbert
2018-11-02Remove is_universe_polymorphism from printingGaëtan Gilbert
2015-03-09Do not display the status of monomorphic constants unless in universe-polymor...Guillaume Melquiond
2014-08-12Upgrading output tests.Hugo Herbelin
2014-05-08Fixing output test-suite: since universe polymorphism, the Print commandPierre-Marie Pédrot
2008-03-25Correction de bugs relatifs a la compostion des substitutionssoubiran
2008-02-01Beaoucoup de changements dans la representation interne des modules.soubiran
2007-10-05Correction de quelques défauts d'affichage (notations sous "as" pourherbelin
2005-12-22Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8herbelin
2005-03-16Nouvelle syntaxe 'with' des modules non gérée en v7herbelin
2003-10-07Correction du bug 335 et Export/Require Export dans un modulecoq
2003-01-09Export M + Module M <: SIGcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:33:10 +0000