aboutsummaryrefslogtreecommitdiff
path: root/vernac/vernacprop.ml
AgeCommit message (Expand)Author
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-08-14[vernac] Refactor Vernacular Control Attributes into a listEmilio Jesus Gallego Arias
2019-07-25Remove deprecated `Backtrack` commandMaxime Dénès
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-04-25[vernac] [ast] Make location info an attribute of vernaculars.Emilio Jesus Gallego Arias
2019-03-30[vernac] Small cleanup to remove assert false.Emilio Jesus Gallego Arias
2018-04-01[stm] Move VernacBacktrack to the toplevel.Emilio Jesus Gallego Arias
2018-03-09Implement the Export Set/Unset feature.Pierre-Marie Pédrot
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-22[ast] Improve precision of Ast location recognition in serialization.Emilio Jesus Gallego Arias
2018-01-08[vernac] vernac_expr no longer recursiveVincent Laporte
2017-12-29Merge PR #6492: Remove query-in-IDE warning.Maxime Dénès
2017-12-27Remove query-in-IDE warning.Maxime Dénès
2017-12-23[flags] Move global time flag into an attribute.Emilio Jesus Gallego Arias
2017-12-20Separate vernac controls and regular commands.Maxime Dénès
2017-09-19Remove STM vernaculars.Maxime Dénès
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-04-12[stm] Port the toplevel to the STM.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:36 +0000