Commit message (Expand) | Author | Age | |
---|---|---|---|
* | The tactic [admit] exits with the "unsafe" status. | 2013-11-02 | |
* | Makes the new Proofview.tactic the basic type of Ltac. | 2013-11-02 | |
* | Opacifying the type of strategies. | 2013-09-26 | |
* | Splitting Rewrite into a code part and a CAMLP4-dependent one. | 2013-09-26 |