Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Simpl less (so that cbn will not simpl too much) | 2014-10-01 | |
* | Keyed unification option, compiling the whole standard library | 2014-09-27 | |
* | Arith: full integration of the "Numbers" modular framework | 2014-07-09 | |
* | Avoid using a deprecated lemma in the standard library. | 2014-06-26 | |
* | - Fix arity handling in retyping (de Bruijn bug!) | 2014-05-06 | |
* | Correct rebase on STM code. Thanks to E. Tassi for help on dealing with | 2014-05-06 | |
* | "Boolean Equality" and "Case Analysis" are already off by default... | 2013-07-17 | |
* | Change Hint Resolve, Immediate to take a global reference as argument | 2012-10-26 | |
* | Ltac repeat is in fact already doing progress | 2012-10-01 | |
* | MSetRBT : implementation of MSets via Red-Black trees | 2012-04-13 |