Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Backport code from command.ml to subtac_command.ml for definining | 2008-02-08 | |
* | Abbreviation of order notation. | 2007-02-01 | |
* | Various fixes in subtac, update some test cases. | 2007-01-29 | |
* | Various subtac fixes. | 2007-01-15 | |
* | Fork of cases impl for subtac. | 2006-11-29 | |
* | Work on dep types pattern matching | 2006-11-16 | |
* | Some usability enhancements. | 2006-11-15 | |
* | Work on mutual defs, various bug fixes. | 2006-11-10 | |
* | Work on pattern inequalities for pattern matching branches. | 2006-11-10 | |
* | Rewrite of the recursive defs handling in progress. | 2006-06-20 | |
* | Test files for subtac. | 2006-04-14 |