aboutsummaryrefslogtreecommitdiffhomepage
path: root/META.coq
Commit message (Expand)AuthorAge
* [api] [parsing] Move Egram* to `vernac/`Gravatar Emilio Jesus Gallego Arias2018-05-27
* Merge PR #7575: [build] Add -cclib -lcoqrun options to build of kernel.cmxa.Gravatar Enrico Tassi2018-05-24
|\
* | [api] Move `Vernacexpr` to parsing.Gravatar Emilio Jesus Gallego Arias2018-05-23
| * [build] Add -cclib -lcoqrun options to build of kernel.cmxa.Gravatar Emilio Jesus Gallego Arias2018-05-22
|/
* [api] Relocate `intf` modules according to dependency-order.Gravatar Emilio Jesus Gallego Arias2018-04-23
* [meta] Add `num` to the set of base libraries.Gravatar Emilio Jesus Gallego Arias2018-04-03
* [META] Update Coq version number.Gravatar Emilio Jesus Gallego Arias2018-03-11
* Rename coq.ltac to coq.plugins.ltac in META.coqGravatar Cyprien Mangin2018-01-16
* Add plugins to META.coqGravatar Cyprien Mangin2018-01-16
* [meta] Fix typo on Coq's META file following #6444.Gravatar Emilio Jesus Gallego Arias2018-01-09
* [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
* [lib] Split auxiliary libraries into Coq-specific and general.Gravatar Emilio Jesus Gallego Arias2017-12-23
* [make] More build fixes for static plugins and ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-16
* [meta] Minor linking fix.Gravatar Emilio Jesus Gallego Arias2017-12-13
* [META] Some dependency fixes.Gravatar Emilio Jesus Gallego Arias2017-12-09
* [general] Merge parsing with highparsing, put toplevel at the top of the link...Gravatar Emilio Jesus Gallego Arias2017-08-29
* [meta] [api] Fix META file for API introduction.Gravatar Emilio Jesus Gallego Arias2017-06-29
* Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07
* [META] add support for ide librariesGravatar Emilio Jesus Gallego Arias2017-03-23
* [META] [build] Install dlls to kernel/byterunGravatar Emilio Jesus Gallego Arias2017-03-10
* [META] Ltac now a plugin.Gravatar Emilio Jesus Gallego Arias2017-03-10
* [META] Update version number.Gravatar Emilio Jesus Gallego Arias2017-03-10
* [ocamlbuild] fix small mistakes in descriptionsGravatar Théo Zimmermann2017-02-20
* [ocamlbuild] Update meta for the vernac split.Gravatar Emilio Jesus Gallego Arias2017-02-20
* [build] META file to enable plugin linking with ocamlfind.Gravatar Emilio Jesus Gallego Arias2016-10-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-22 21:24:28 +0000