aboutsummaryrefslogtreecommitdiff
path: root/stm/proofBlockDelimiter.ml
AgeCommit message (Expand)Author
2018-05-01[api] Move bullets and goals selectors to `proofs/`Emilio Jesus Gallego Arias
2018-04-13Evar maps contain econstrs.Gaëtan Gilbert
2018-02-27Update headers following #6543.Théo Zimmermann
2018-01-08[vernac] vernac_expr no longer recursiveVincent Laporte
2017-12-20Separate vernac controls and regular commands.Maxime Dénès
2017-11-19[plugins] Prepare plugin API for functional handling of state.Emilio Jesus Gallego Arias
2017-10-17[stm] Move interpretation state to VernacentriesEmilio Jesus Gallego Arias
2017-10-06[stm] Switch to a functional APIEmilio Jesus Gallego Arias
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-10-18[stm] Fix record field name clash.Emilio Jesus Gallego Arias
2016-06-07DocumentationEnrico Tassi
2016-06-06Error box detection run only on errorEnrico Tassi
2016-06-06STM: proof block detection for indentationEnrico Tassi
2016-06-06STM: proof block detection for par:Enrico Tassi
2016-06-06STM: proof block detection for bullets and { block }Enrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 16:54:32 +0000