| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-02-08 | 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-07 | Start support for both plain and custom top levels (work in progress). | David Aspinall |
| 2012-01-20 | Rename file | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |