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