aboutsummaryrefslogtreecommitdiff
path: root/META.coq.in
AgeCommit message (Expand)Author
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 14:10:55 +0000