aboutsummaryrefslogtreecommitdiffhomepage
path: root/META.coq
Commit message (Collapse)AuthorAge
* [general] Merge parsing with highparsing, put toplevel at the top of the ↵Gravatar Emilio Jesus Gallego Arias2017-08-29
| | | | linking chain.
* [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
| | | | This makes sense for clients willing to link to richpp.
* [META] [build] Install dlls to kernel/byterunGravatar Emilio Jesus Gallego Arias2017-03-10
| | | | This makes the dll path consistent both in `-local` and non-local Coq install.
* [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
This allows building SerAPI and jsCoq using ocamlbuild.