index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
META.coq
Age
Commit message (
Expand
)
Author
2018-07-12
[dev] Autogenerate OCaml dev files.
Emilio Jesus Gallego Arias
2018-06-11
Bump version number to 8.9+alpha1
Maxime Dénès
2018-05-27
[api] [parsing] Move Egram* to `vernac/`
Emilio Jesus Gallego Arias
2018-05-24
Merge PR #7575: [build] Add -cclib -lcoqrun options to build of kernel.cmxa.
Enrico Tassi
2018-05-23
[api] Move `Vernacexpr` to parsing.
Emilio Jesus Gallego Arias
2018-05-22
[build] Add -cclib -lcoqrun options to build of kernel.cmxa.
Emilio Jesus Gallego Arias
2018-04-23
[api] Relocate `intf` modules according to dependency-order.
Emilio Jesus Gallego Arias
2018-04-03
[meta] Add `num` to the set of base libraries.
Emilio Jesus Gallego Arias
2018-03-11
[META] Update Coq version number.
Emilio Jesus Gallego Arias
2018-01-16
Rename coq.ltac to coq.plugins.ltac in META.coq
Cyprien Mangin
2018-01-16
Add plugins to META.coq
Cyprien Mangin
2018-01-09
[meta] Fix typo on Coq's META file following #6444.
Emilio Jesus Gallego Arias
2017-12-27
[API] remove large file containing duplicate interfaces
Enrico Tassi
2017-12-23
[lib] Split auxiliary libraries into Coq-specific and general.
Emilio Jesus Gallego Arias
2017-12-16
[make] More build fixes for static plugins and ocamlfind.
Emilio Jesus Gallego Arias
2017-12-13
[meta] Minor linking fix.
Emilio Jesus Gallego Arias
2017-12-09
[META] Some dependency fixes.
Emilio Jesus Gallego Arias
2017-08-29
[general] Merge parsing with highparsing, put toplevel at the top of the link...
Emilio Jesus Gallego Arias
2017-06-29
[meta] [api] Fix META file for API introduction.
Emilio Jesus Gallego Arias
2017-06-07
Put all plugins behind an "API".
Matej Kosik
2017-03-23
[META] add support for ide libraries
Emilio Jesus Gallego Arias
2017-03-10
[META] [build] Install dlls to kernel/byterun
Emilio Jesus Gallego Arias
2017-03-10
[META] Ltac now a plugin.
Emilio Jesus Gallego Arias
2017-03-10
[META] Update version number.
Emilio Jesus Gallego Arias
2017-02-20
[ocamlbuild] fix small mistakes in descriptions
Théo Zimmermann
2017-02-20
[ocamlbuild] Update meta for the vernac split.
Emilio Jesus Gallego Arias
2016-10-28
[build] META file to enable plugin linking with ocamlfind.
Emilio Jesus Gallego Arias
