aboutsummaryrefslogtreecommitdiff
path: root/coqpp
AgeCommit message (Expand)Author
2018-11-27[gramlib] Minor cleanups:Emilio Jesus Gallego Arias
2018-11-23Only use Coq API in coqpp.Pierre-Marie Pédrot
2018-11-17[vernacextend] Consolidate extension points APIEmilio Jesus Gallego Arias
2018-11-13[vernac] Rename Vernacinterp to Vernacextend and move extension functions there.Emilio Jesus Gallego Arias
2018-11-02coqpp VERNAC EXTEND uses #[ att = attribute; ] syntaxGaëtan Gilbert
2018-10-15Implement ARGUMENT EXTEND in coqpp.Pierre-Marie Pédrot
2018-10-11Merge PR #8161: Implement VERNAC EXTEND in coqppMaxime Dénès
2018-10-03[dune] Add `(package coq)` scope to artifacts.Emilio Jesus Gallego Arias
2018-10-02Make the coqpp VERNAC EXTEND behave as the non-FUNCTIONAL camlp5 one.Pierre-Marie Pédrot
2018-10-02Handling VERNAC EXTEND in coqpp.Pierre-Marie Pédrot
2018-10-02Pass unnamed arguments to ML macros.Pierre-Marie Pédrot
2018-10-01Print location in OCaml code output by coqpp.Pierre-Marie Pédrot
2018-10-01Store locations of OCaml quotations in coqpp.Pierre-Marie Pédrot
2018-09-06deprecation is CODE instead of IDENTVincent Laporte
2018-09-06coqpp: allow DEPRECATED when declaring tacticsVincent Laporte
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
2018-07-25Fix static declaration of plugins in coqpp.Pierre-Marie Pédrot
2018-07-11[coqpp] Move to its own directory.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:38:44 +0000