| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-09-14 | Doc | David Aspinall |
| 2009-09-10 | Clean compile | David Aspinall |
| 2009-09-06 | Make sure proof-shell-last-output is non-nil | David Aspinall |
| 2009-09-05 | Clean whitespace | David Aspinall |
| 2009-08-28 | Clean up and rearrange variable declaration files | David Aspinall |
| 2009-08-17 | Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour... | David Aspinall |
| 2009-07-30 | Use descriptions of help items to set menu tooltips (resolve trac #218) | David Aspinall |
| 2008-01-30 | Fix RCS tags | David Aspinall |
| 2008-01-16 | Reduce compiler warnings. Minor fixes. | David Aspinall |
| 2008-01-16 | Compilation tweaks | David Aspinall |
| 2008-01-15 | New files. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |