aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/coqargs.ml
Commit message (Expand)AuthorAge
* Making explicit that errors happen in one of five executation phases.Gravatar Hugo Herbelin2018-05-02
* Merge PR #6582: Mangle auto-generated namesGravatar Maxime Dénès2018-03-08
|\
* \ Merge PR #6855: Update headers following #6543.Gravatar Maxime Dénès2018-03-05
|\ \
* | | Remove 8.5 compatibility support.Gravatar Théo Zimmermann2018-03-02
* | | Remove VOld compatibility flag.Gravatar Théo Zimmermann2018-03-02
| * | Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* | | Fix #6751 trust_file_cache logic was invertedGravatar Gaëtan Gilbert2018-02-27
|/ /
| * Implement name mangling optionGravatar Jasper Hugunin2018-02-17
|/
* [toplevel] Refactor command line argument handling.Gravatar Emilio Jesus Gallego Arias2018-02-09