| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Improved implementation of zap-commas font lock behaviour, patch from Stefan ... |  David Aspinall | 2002-08-31 |
| * | Updated. | David Aspinall | 2002-08-31 |
| * | Updated. | David Aspinall | 2002-08-31 |
| * | Test inhibit-read-only | David Aspinall | 2002-08-31 |
| * | Comments | David Aspinall | 2002-08-31 |
| * | Try to reduce contrast for highlighting face | David Aspinall | 2002-08-31 |
| * | Updated. | David Aspinall | 2002-08-30 |
| * | GNU Emacs: avoid using own-clipboard | David Aspinall | 2002-08-30 |
| * | Use old parser still for Isar for time being (see note in source) | David Aspinall | 2002-08-30 |
| * | Updated. | David Aspinall | 2002-08-30 |
| * | Tidy display | David Aspinall | 2002-08-30 |
| * | Updated. | David Aspinall | 2002-08-30 |
| * | Switch to using new parser by default. Disable fly-past-comments by default. | David Aspinall | 2002-08-30 |
| * | Updated. | David Aspinall | 2002-08-30 |
| * | Set version tag for new release. | David Aspinall | 2002-08-30 |
| * | New files. | David Aspinall | 2002-08-30 |
| * | Updated. | David Aspinall | 2002-08-30 |
| * | Dont restore window config if it seems like a different frame was used. | David Aspinall | 2002-08-30 |
| * | Formatting | David Aspinall | 2002-08-30 |
| * | Patch from Stefan Monnier for using nested-comment aware parser on GNU Emacs. | David Aspinall | 2002-08-30 |
| * | Strict read works on GNU Emacs 21.2. | David Aspinall | 2002-08-30 |
| * | Imenu addition, layout fixes, from Stefan Monnier | David Aspinall | 2002-08-29 |
| * | Layout/docstring improvements (based on patch from Stefan Monnier) | David Aspinall | 2002-08-29 |
| * | mPatch from Stefan Monnier [buffer-substring]. | David Aspinall | 2002-08-29 |
| * | Patch for nested comments from Stefan Monnier. | David Aspinall | 2002-08-29 |
| * | Updated. | David Aspinall | 2002-08-29 |
| * | Changes for development release | David Aspinall | 2002-08-29 |
| * | Missing tag | David Aspinall | 2002-08-29 |
| * | Set version tag for new release. | David Aspinall | 2002-08-29 |
| * | Add Stefan Monnier | David Aspinall | 2002-08-29 |
| * | Updated. | David Aspinall | 2002-08-29 |
| * | Updated. | David Aspinall | 2002-08-29 |
| * | Remove proof-splash-extensions | David Aspinall | 2002-08-29 |
| * | Try to avoid old setting proof-splash-extensions. | David Aspinall | 2002-08-29 |
| * | Make proof-splash-extensions defconst instead of defcustom | David Aspinall | 2002-08-29 |
| * | Updated. | David Aspinall | 2002-08-29 |
| * | Updated. | David Aspinall | 2002-08-29 |
| * | Remove isabelle logo | David Aspinall | 2002-08-29 |
| * | Updated. | David Aspinall | 2002-08-29 |
| * | Updated. | David Aspinall | 2002-08-29 |
| * | Deleted files. | David Aspinall | 2002-08-29 |
| * | Updated. | David Aspinall | 2002-08-29 |
| * | Remove mule-fonts thing, it breaks make magic | David Aspinall | 2002-08-29 |
| * | Updated. | David Aspinall | 2002-08-29 |
| * | Use tarfile | David Aspinall | 2002-08-29 |
| * | Fix typo | David Aspinall | 2002-08-29 |
| * | Updated. | David Aspinall | 2002-08-29 |
| * | Updated. | David Aspinall | 2002-08-29 |
| * | Updated. | David Aspinall | 2002-08-29 |
| * | Set version tag for new release. | David Aspinall | 2002-08-29 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |