Commit message (Expand) | Author | Age | |
---|---|---|---|
* | New handling of obligations. | msozeau | 2006-09-01 |
* | Subtac fixes, new way of handling obligations in progress. | msozeau | 2006-09-01 |
* | Correction trou de subject-reduction de create_arg dans genarg.mli | herbelin | 2006-06-07 |
* | - Documentation of the Program tactics. | msozeau | 2006-04-07 |
* | Made pretyping a functor over a coercion implementation. Pretyping.Default us... | msozeau | 2006-03-22 |