aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/aux_file.ml
Commit message (Expand)AuthorAge
* aux_file: export API to ease writing of a Proof Using annotator.Gravatar Enrico Tassi2015-10-08
* Update headers.Gravatar Maxime Dénès2015-01-12
* Stm: smarter delegation policyGravatar Enrico Tassi2014-03-12
* amending last commitGravatar Enrico Tassi2014-02-27
* better warningGravatar Enrico Tassi2014-02-27
* Aux_file: cache information at compile time for later (re)useGravatar Enrico Tassi2014-01-04