Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Tweak output strings and prompt matching | 2012-02-08 | |
* | Add restart command (does nothing) | 2012-02-08 | |
* | Try to make evars output match what is expected by Prooftree | 2012-02-08 | |
* | Add proof-forget-id command and make top_thm discard the goalstack. | 2012-02-08 | |
* | Improve handling of undo, implementing pg_kill and pg_undo. | 2012-02-08 | |
* | Adjust global state idea, it is supposed to count down as well as up... | 2012-02-08 | |
* | Start support for both plain and custom top levels (work in progress). | 2012-02-07 | |
* | Rename file | 2012-01-20 |