| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge PR #6851: Fix #6830: coqdep VDFILE uses too many arguments for fiat-cry... |  Maxime Dénès | 2018-03-09 |
| |\ | |||
| | * | Closes #6830: coqdep reads options and files from _CoqProject. |  Gaëtan Gilbert | 2018-03-06 |
| | * | Add source (project file / command line) to project fields. | Gaëtan Gilbert | 2018-03-01 |
| | * | Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSX | Gaëtan Gilbert | 2018-02-28 |
| * | | Update headers following #6543. |  Théo Zimmermann | 2018-02-27 |
| |/ | |||
| * | [API] remove large file containing duplicate interfaces |  Enrico Tassi | 2017-12-27 |
| * | Bump year in headers. |  Pierre-Marie Pédrot | 2017-07-04 |
| * | Add support for "-bypass-API" argument of "coq_makefile" |  Matej Košík | 2017-06-12 |
| * | CoqProject_file: document in API deprecated features | Enrico Tassi | 2017-05-23 |
| * | CoqProject_file: API and code cleanup (tuples -> records) | Enrico Tassi | 2017-05-23 |
| * | ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli | Enrico Tassi | 2017-05-23 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |