| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-10-21 | This big commit addresses two problems: | soubiran |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-04-08 | Some dead code removal + cleanups | letouzey |
| 2008-03-14 | Ajout des alias de module dans le noyau. | soubiran |
| 2008-02-01 | Beaoucoup de changements dans la representation interne des modules. | soubiran |
| 2007-04-25 | New keyword "Inline" for Parameters and Axioms for automatic | soubiran |
| 2007-02-21 | Removed some useless code in mod_typing that was redundant with safe_typing. | soubiran |
| 2006-03-18 | MAJ documentation en syntaxe v8 | herbelin |
| 2005-11-02 | Types inductifs parametriques | mohring |
| 2005-01-13 | Construct "T with (Definition|Module) id := c" generalized to | sacerdot |
| 2004-10-20 | COMMITED BYTECODE COMPILER | barras |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2004-06-25 | correspondance des records et noms de champs de records entre un module et sa... | letouzey |
| 2002-08-19 | La notation 'with'. L'interpretation - version preliminaire | coq |
| 2002-08-02 | Modules dans COQ\!\!\!\! | coq |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |