Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Factored out IDE goal structure. | Carst Tankink | 2014-10-01 |
* | CoqIDE: new message to print AST | Enrico Tassi | 2014-09-29 |
* | STM: code restructured to reuse task queue for tactics | Enrico Tassi | 2014-08-05 |
* | all coqide specific files moved into ide/ | Enrico Tassi | 2014-06-25 |