aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/coqProject_file.ml
Commit message (Collapse)AuthorAge
* Slightly less crazy parsing algorithm for CoqProject_file.Gravatar Pierre-Marie Pédrot2018-06-27
| | | | | We use a buffer instead of O(n) appending to a string, and we also make the parser tail-call.
* Turn CoqProject_file into a normal OCaml file.Gravatar Pierre-Marie Pédrot2018-06-27