aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/aux_file.ml
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
|/
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-01-19
|\
| * Fix broken .aux machinery.Gravatar Guillaume Melquiond2017-01-13
* | Avoid using the deprecated Scanf.fscanf function.Gravatar Maxime Dénès2017-01-09
|/
* Fix #5183 - Two CoqIDE crash errorsGravatar Maxime Dénès2016-11-30
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* Merge remote-tracking branch 'origin/pr/166' into trunkGravatar Enrico Tassi2016-06-14
|\
* | Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
| * 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
* 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