aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/aux_file.mli
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Merge branch 'trunk' into located_switchGravatar Emilio Jesus Gallego Arias2017-05-24
|\
* | [location] Remove Loc.ghost.Gravatar Emilio Jesus Gallego Arias2017-04-25
|/
* coqc: support -o option to specify output file nameGravatar Enrico Tassi2016-05-19
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* 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
* Aux_file: cache information at compile time for later (re)useGravatar Enrico Tassi2014-01-04