aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/stm.mli
Commit message (Expand)AuthorAge
* STM: primitives to snapshot a .vi while in interactive modeGravatar Enrico Tassi2014-10-13
* library/opaqueTables: enable their use in interactive modeGravatar Enrico Tassi2014-10-13
* XML pretty printing for AST (work by François Poulain, project DoCoq)Gravatar Enrico Tassi2014-09-29
* STM: new "par:" goal selector, like "all:" but in parallelGravatar Enrico Tassi2014-08-05
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
* STM: VtQuery holds the id of the state it refers toGravatar Carst Tankink2014-08-04
* STM: add optionally takes the id of the new tipGravatar Enrico Tassi2014-07-11
* STM: export the observe function (useful for pide)Gravatar Enrico Tassi2014-07-11
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* Adding a stm/ folder, as asked during last workgroup. It was essentially movingGravatar Pierre-Marie Pédrot2014-04-25