aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/proofBlockDelimiter.ml
Commit message (Expand)AuthorAge
* 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