aboutsummaryrefslogtreecommitdiffhomepage
path: root/META.coq
Commit message (Expand)AuthorAge
* [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