Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Correct implementation of undo in obligations handling code, correct some bug... | 2007-04-17 | |
* | Rewrite of the recursive defs handling in progress. | 2006-06-20 | |
* | Made pretyping a functor over a coercion implementation. Pretyping.Default us... | 2006-03-22 |