aboutsummaryrefslogtreecommitdiff
path: root/META.coq.in
AgeCommit message (Expand)Author
2021-03-03[build] Split stdlib to it's own opam package.Emilio Jesus Gallego Arias
2021-02-26Signed primitive integersAna
2021-01-27[sysinit] new component for system initializationEnrico Tassi
2020-11-23Bump version numbersEnrico Tassi
2020-10-02{new,setoid_}ring -> ringMaxime Dénès
2020-09-17[build] Don't link `num` anymore in CoqEmilio Jesus Gallego Arias
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
2020-08-25added coq.vernac dependency to string_notations pluginAli Caglayan
2020-08-25added coq.vernac dependency to numeral_notations pluginAli Caglayan
2020-08-24added numeral_notation to META.coq.inAli Caglayan
2020-05-18Update to 8.13.Théo Zimmermann
2019-12-24[meta] Add ltac2 information to META.Emilio Jesus Gallego Arias
2019-11-27[release] Update files for 8.12 release per release process.Emilio Jesus Gallego Arias
2019-10-28Merge PR #10944: [meta] Add zify plugin to META file.Vincent Laporte
2019-10-24[meta] Add plugin stanza to META so Fl_dynload works for Coq pluginsEmilio Jesus Gallego Arias
2019-10-24[meta] Add zify plugin to META file.Emilio Jesus Gallego Arias
2019-10-07Bump version number to 8.11.Pierre-Marie Pédrot
2019-06-19[META] fix dependencies of coq.ideEnrico Tassi
2019-04-29[meta] [dune] Fix discrepancies in plugin namesEmilio Jesus Gallego Arias
2019-02-04Primitive integersMaxime Dénès
2018-12-12Merge PR #8965: Add `String Notation` vernacular like `Numeral Notation`Hugo Herbelin
2018-12-06Rename generated directory gramlib__pack -> gramlib/.packGaëtan Gilbert
2018-11-30[gramlib] Remove `Ploc.t` in favor of `Loc.t`Emilio Jesus Gallego Arias
2018-11-28Add `String Notation` vernacular like `Numeral Notation`Jason Gross
2018-11-26[dune] Minor tweak of dependencies.Emilio Jesus Gallego Arias
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-21[gramlib] [build] Switch make-based system to packed gramlibEmilio Jesus Gallego Arias
2018-10-23[build] Refactoring to config lib and ocamldebug tweaks.Emilio Jesus Gallego Arias
2018-09-25Remove romegaVincent Laporte
2018-09-12Remove quote pluginMaxime Dénès
2018-09-10Bump version number to 8.10+alpha.Guillaume Melquiond
2018-07-18Merge PR #8054: [dev] Autogenerate OCaml dev files.Enrico Tassi
2018-07-12[dev] Autogenerate OCaml dev files.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:03:11 +0000