Commit message (Expand) | Author | Age | |
---|---|---|---|
* | STM: primitives to snapshot a .vi while in interactive mode | 2014-10-13 | |
* | library/opaqueTables: enable their use in interactive mode | 2014-10-13 | |
* | XML pretty printing for AST (work by François Poulain, project DoCoq) | 2014-09-29 | |
* | STM: new "par:" goal selector, like "all:" but in parallel | 2014-08-05 | |
* | STM: code restructured to reuse task queue for tactics | 2014-08-05 | |
* | STM: VtQuery holds the id of the state it refers to | 2014-08-04 | |
* | STM: add optionally takes the id of the new tip | 2014-07-11 | |
* | STM: export the observe function (useful for pide) | 2014-07-11 | |
* | all coqide specific files moved into ide/ | 2014-06-25 | |
* | Adding a stm/ folder, as asked during last workgroup. It was essentially moving | 2014-04-25 |