Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update headers. | 2015-01-12 | |
* | Feedback: API cleaned up, documented and made user extensible | 2014-11-27 | |
* | Feedback message: hold extra info to help routing | 2014-10-31 | |
* | When loading libraries, feed back dependencies. | 2014-10-13 | |
* | STM: report the (structured) goals as XML | 2014-10-01 | |
* | STM: code restructured to reuse task queue for tactics | 2014-08-05 | |
* | STM: encapsulate Pp.message in Feedback.feedback | 2014-08-04 | |
* | Feedback: LoadedFile + Goals | 2014-07-11 | |
* | all coqide specific files moved into ide/ | 2014-06-25 |