aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/stm.mllib
Commit message (Expand)AuthorAge
* [xml] Restore protocol compatibility with 8.6.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [stm] Break stm/toplevel dependency loop.Gravatar Emilio Jesus Gallego Arias2017-02-15
* STM: proof block detection for bullets and { block }Gravatar Enrico Tassi2016-06-06
* Move serialization functions out of StmGravatar Emilio Jesus Gallego Arias2016-06-02
* rename: vi -> vioGravatar Enrico Tassi2015-01-06
* XML pretty printing for AST (work by François Poulain, project DoCoq)Gravatar Enrico Tassi2014-09-29
* coqworkmgrGravatar Enrico Tassi2014-09-02
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
* Adding a stm/ folder, as asked during last workgroup. It was essentially movingGravatar Pierre-Marie Pédrot2014-04-25