Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Declareops + Modops : more clever substitutions | 2013-08-20 | ||
* | Attempt to restore hash-consing of opaque terms | 2013-08-20 | ||
* | abstract+Defined: create opaque sub proofs (as pre-ParalITP) | 2013-08-19 | ||
* | enhance marshallable option for freeze (minor TODO in safe_typing) | 2013-08-08 | ||
* | State Transaction Machine | 2013-08-08 | ||
* | Merging Context and Sign. | 2013-04-29 | ||
* | Revised infrastructure for lazy loading of opaque proofs | 2013-04-02 | ||
* | kernel/declarations becomes a pure mli | 2013-02-26 |