aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/coqProject_file.ml4
Commit message (Expand)AuthorAge
* [CoqProject] Add some comments and remove unnecessary use of Pp.Gravatar Emilio Jesus Gallego Arias2018-05-08
* Merge PR #6851: Fix #6830: coqdep VDFILE uses too many arguments for fiat-cry...Gravatar Maxime Dénès2018-03-09
|\
| * Closes #6830: coqdep reads options and files from _CoqProject.Gravatar Gaëtan Gilbert2018-03-06
| * Add source (project file / command line) to project fields.Gravatar Gaëtan Gilbert2018-03-01
| * Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSXGravatar Gaëtan Gilbert2018-02-28
* | Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
|/
* [error] Replace msg_error by a proper exception.Gravatar Emilio Jesus Gallego Arias2018-02-09
* [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
* Forbidding -o and -f in input file of coq_makefile.Gravatar Hugo Herbelin2017-12-23
* Avoid looping when searching for CoqProject.Gravatar Maxime Dénès2017-09-27
* coq_makefile: use System.exists_dir for better portabilityGravatar Enrico Tassi2017-07-20
* 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
* coq_makefile: avoid spurious ./ in generated .conf fileGravatar Enrico Tassi2017-05-23
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 23:28:03 +0000