| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | scomint-check-proc: make defsubst |  David Aspinall | 2009-09-07 |
| * | Simplify by removing ability to deal with restrictions | David Aspinall | 2009-09-06 |
| * | Tidy whitespace | David Aspinall | 2009-09-05 |
| * | Missing declaration | David Aspinall | 2009-09-05 |
| * | 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 | 2009-09-04 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |