Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Adding the processed tag to comments in CoqIDE. | 2013-08-09 | ||
* | Coqide ported to STM | 2013-08-08 | ||
* | Coqide: Globalization feedback (proof of concept) | 2013-04-25 | ||
* | raise UnsafeSuccess -> feedback AddedAxiom | 2013-04-25 | ||
* | Coqide: new feedback mechanism for structured content | 2013-04-25 | ||
* | Monadification of coqtop queries in CoqIDE | 2013-01-26 | ||
* | Uniformization of Coq tasks | 2013-01-26 | ||
* | Coqide: cleaner Coq.PrintOpt and session creation | 2012-12-19 | ||
* | Coqide: allow editing even during a backtrack | 2012-12-11 | ||
* | Coqide: restore the tag removal of copy-pasted zones | 2012-12-10 | ||
* | Coqide: some more refactoring to lighten coqide.ml | 2012-12-10 |