Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Rationalizing a bit the interface of Hints. | 2015-05-11 | |
* | Opaque implementation of auto tactics. | 2015-04-14 | |
* | Making the hint entry type opaque. | 2015-04-12 | |
* | Making the hints for the auto tactics private. | 2015-04-10 | |
* | Update headers. | 2015-01-12 | |
* | Forgotten hints.ml{,i} files in 38b34dfffcc. | 2014-10-08 |