aboutsummaryrefslogtreecommitdiff
path: root/lib/aux_file.ml
AgeCommit message (Expand)Author
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-03-28Fix #7101: STM delegation policy brokenMaxime Dénès
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-05-24Merge branch 'trunk' into located_switchEmilio Jesus Gallego Arias
2017-04-25[location] Remove Loc.ghost.Emilio Jesus Gallego Arias
2017-01-19Merge branch 'v8.6'Pierre-Marie Pédrot
2017-01-13Fix broken .aux machinery.Guillaume Melquiond
2017-01-09Avoid using the deprecated Scanf.fscanf function.Maxime Dénès
2016-11-30Fix #5183 - Two CoqIDE crash errorsMaxime Dénès
2016-06-29A new infrastructure for warnings.Maxime Dénès
2016-06-14Merge remote-tracking branch 'origin/pr/166' into trunkEnrico Tassi
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-05-19coqc: support -o option to specify output file nameEnrico Tassi
2016-01-20Update copyright headers.Maxime Dénès
2015-10-08aux_file: export API to ease writing of a Proof Using annotator.Enrico Tassi
2015-01-12Update headers.Maxime Dénès
2014-03-12Stm: smarter delegation policyEnrico Tassi
2014-02-27amending last commitEnrico Tassi
2014-02-27better warningEnrico Tassi
2014-01-04Aux_file: cache information at compile time for later (re)useEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:41:19 +0000