Commit message (Expand) | Author | Age | |
---|---|---|---|
* | New keyword "Inline" for Parameters and Axioms for automatic | 2007-04-25 | |
* | Removed some useless code in mod_typing that was redundant with safe_typing. | 2007-02-21 | |
* | MAJ documentation en syntaxe v8 | 2006-03-18 | |
* | Types inductifs parametriques | 2005-11-02 | |
* | Construct "T with (Definition|Module) id := c" generalized to | 2005-01-13 | |
* | COMMITED BYTECODE COMPILER | 2004-10-20 | |
* | Nouvelle en-tĂȘte | 2004-07-16 | |
* | correspondance des records et noms de champs de records entre un module et sa... | 2004-06-25 | |
* | La notation 'with'. L'interpretation - version preliminaire | 2002-08-19 | |
* | Modules dans COQ\!\!\!\! | 2002-08-02 |