aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/coqProject_file.mli
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Add support for "-bypass-API" argument of "coq_makefile"Gravatar Matej Košík2017-06-12
* CoqProject_file: document in API deprecated featuresGravatar Enrico Tassi2017-05-23
* CoqProject_file: API and code cleanup (tuples -> records)Gravatar Enrico Tassi2017-05-23
* ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliGravatar Enrico Tassi2017-05-23