| Age | Commit message (Expand) | Author |
|---|---|---|
| 2011-10-13 | Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p... | David Aspinall |
| 2011-01-25 | Remove dead code | David Aspinall |
| 2009-09-20 | Protect against error case | David Aspinall |
| 2009-09-17 | Note | David Aspinall |
| 2009-09-07 | scomint-check-proc: make defsubst | David Aspinall |
| 2009-09-06 | Simplify by removing ability to deal with restrictions | David Aspinall |
| 2009-09-05 | Tidy whitespace | David Aspinall |
| 2009-09-05 | Missing declaration | David Aspinall |
| 2009-09-04 | Disable fontification of input and output. Fix C-c C-c binding | David Aspinall |
| 2009-09-04 | Disable buffer truncation for now | David Aspinall |
| 2009-09-04 | Define some keys. | David Aspinall |
| 2009-09-04 | Remove left over comint-isms | David Aspinall |
| 2009-09-04 | Support for Emacs22 | David Aspinall |
| 2009-09-04 | Trimmed down comint | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |