| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-04-07 | Decoration tweaks | David Aspinall |
| 2000-04-07 | Fixed up proof-shell-proof-completed mess nicely. | David Aspinall |
| 2000-03-24 | Improved HOL support, now joins together commands in proof properly. | David Aspinall |
| 2000-03-22 | Set proof-shell-filename-escapes, switch back to %s | David Aspinall |
| 2000-03-22 | Use new format character %s to %e to cope with nasty filenames with backslashes. | David Aspinall |
| 2000-03-19 | More reliable prompt regexp | David Aspinall |
| 2000-03-13 | Improvements | David Aspinall |
| 2000-03-10 | Added decoration and syntax table entries. | David Aspinall |
| 2000-03-09 | First bash at HOL support, working but barely | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |