aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/proofBlockDelimiter.ml
Commit message (Expand)AuthorAge
* [api] Move bullets and goals selectors to `proofs/`Gravatar Emilio Jesus Gallego Arias2018-05-01
* Evar maps contain econstrs.Gravatar Gaëtan Gilbert2018-04-13
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [vernac] vernac_expr no longer recursiveGravatar Vincent Laporte2018-01-08
* Separate vernac controls and regular commands.Gravatar Maxime Dénès2017-12-20
* [plugins] Prepare plugin API for functional handling of state.Gravatar Emilio Jesus Gallego Arias2017-11-19
* [stm] Move interpretation state to VernacentriesGravatar Emilio Jesus Gallego Arias2017-10-17
* [stm] Switch to a functional APIGravatar Emilio Jesus Gallego Arias2017-10-06
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [stm] Fix record field name clash.Gravatar Emilio Jesus Gallego Arias2016-10-18
* DocumentationGravatar Enrico Tassi2016-06-07
* Error box detection run only on errorGravatar Enrico Tassi2016-06-06
* STM: proof block detection for indentationGravatar Enrico Tassi2016-06-06
* STM: proof block detection for par:Gravatar Enrico Tassi2016-06-06
* STM: proof block detection for bullets and { block }Gravatar Enrico Tassi2016-06-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-08 23:21:38 +0000