aboutsummaryrefslogtreecommitdiff
path: root/gramlib/gramext.ml
AgeCommit message (Expand)Author
2019-02-11Move most of Gramext into Grammar.Pierre-Marie Pédrot
2018-12-05Remove the Like level modifier from gramlib.Pierre-Marie Pédrot
2018-12-05Remove the grammar-entry correspondence dynamic check in camlp5.Pierre-Marie Pédrot
2018-12-05Make some camlp5 fields immutable.Pierre-Marie Pédrot
2018-11-27[gramlib] Remove unused function `gram_reinit`.Emilio Jesus Gallego Arias
2018-11-27[gramlib] Minor cleanups:Emilio Jesus Gallego Arias
2018-11-23Remove the unsafe API from gramlib.Pierre-Marie Pédrot
2018-11-05Remove the Scut constructor from Gramlib.Pierre-Marie Pédrot
2018-11-05Remove the Sflag constructor from Gramlib.Pierre-Marie Pédrot
2018-11-05Remove the Sfacto constructor from Gramlib.Pierre-Marie Pédrot
2018-11-05Remove the Svala constructor from Gramlib.Pierre-Marie Pédrot
2018-11-05Remove Smeta constructor in Gramlib.Pierre-Marie Pédrot
2018-10-29[gramlib] Cleanup, remove unused parsing infrastructure.Emilio Jesus Gallego Arias
2018-10-29[camlp5] Fix warnings, switch Coq to vendored library.Emilio Jesus Gallego Arias
2018-10-29[camlp5] Automatic conversion from revised syntax + parsersEmilio Jesus Gallego Arias
2018-10-29[gramlib] Original Import from Camlp5 repos.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:51:45 +0000