| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-06-12 | Add support for "-bypass-API" argument of "coq_makefile" | Matej Košík | |
| Plugin-writers can now use: -bypass-API parameter with "coq_makefile". The effect of that is that instead of -I API the plugin will be compiled with: -I config" -I dev -I lib -I kernel -I library -I engine -I pretyping -I interp -I parsing -I proofs -I tactics -I toplevel -I printing -I intf -I grammar -I ide -I stm -I vernac | |||
| 2017-05-23 | 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 | |
| The .mli only acknowledges the current API. I'm not guilty your honor! | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |