aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/proofBlockDelimiter.mli
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [stm] Switch to a functional APIGravatar Emilio Jesus Gallego Arias2017-10-06
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* STM: proof block detection for par:Gravatar Enrico Tassi2016-06-06
* STM: proof block detection for bullets and { block }Gravatar Enrico Tassi2016-06-06