coq/test-suite/coq-makefile/template/src, branch master The formal proof system Porting the test-suite to coqpp. 2018-10-19T14:24:46+00:00 Pierre-Marie Pédrot 2018-10-19T14:21:22+00:00 266050f7aaa0ee0b090b30b1acabaccda6919889 






[API] remove large file containing duplicate interfaces
2017-12-27T13:19:59+00:00

Enrico Tassi

2017-12-22T13:11:55+00:00

b37d3f199e4521e2ae20cc96f0f2b04acc36c7cc

... in favor of having Public/Internal sub modules in each and
every module grouping functions according to their intended client.





... in favor of having Public/Internal sub modules in each and
every module grouping functions according to their intended client.







Add support for "-bypass-API" argument of "coq_makefile"
2017-06-12T14:43:32+00:00

Matej Košík

2017-05-30T08:49:41+00:00

c054dda76825435019ad1b29f7f4292d937d98f9

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





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







test suite for coq_makefile2
2017-05-23T08:48:28+00:00

Enrico Tassi

2017-01-23T16:32:58+00:00

352c23666babc7dd8f0136b02d9ef1893f9bde5c