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