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 |