| 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 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |