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