| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-10-13 | Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵ | David Aspinall | |
| interactive-p with called-interactively-p) | |||
| 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 | |
| and a check for process liveness. | |||
| 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 |