aboutsummaryrefslogtreecommitdiffhomepage
path: root/META.coq
Commit message (Expand)AuthorAge
* 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-25 04:52:22 +0000