coq - The formal proof system

Age	Commit message (Expand)	Author
2019-01-09	Stop [Print] from saying [is (not) universe polymorphic].	Gaëtan Gilbert
2018-12-17	Stop printing Monomorphic/Polymorphic in Print.	Gaëtan Gilbert
2018-11-02	Remove is_universe_polymorphism from printing	Gaëtan Gilbert
2015-03-09	Do not display the status of monomorphic constants unless in universe-polymor...	Guillaume Melquiond
2014-08-12	Upgrading output tests.	Hugo Herbelin
2014-05-08	Fixing output test-suite: since universe polymorphism, the Print command	Pierre-Marie Pédrot
2008-03-25	Correction de bugs relatifs a la compostion des substitutions	soubiran
2008-02-01	Beaoucoup de changements dans la representation interne des modules.	soubiran
2007-10-05	Correction de quelques défauts d'affichage (notations sous "as" pour	herbelin
2005-12-22	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin
2005-03-16	Nouvelle syntaxe 'with' des modules non gérée en v7	herbelin
2003-10-07	Correction du bug 335 et Export/Require Export dans un module	coq
2003-01-09	Export M + Module M <: SIG	coq