| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | | Deleted files. |  David Aspinall | 2002-09-11 | |
| * | | New files. | David Aspinall | 2002-09-11 | |
| * | | Adjust comment about selecting PG/Isar. | David Aspinall | 2002-09-11 | |
| * | | Remove comment about selecting PG/Isar. | David Aspinall | 2002-09-11 | |
| * | | Shorten mode names. Comment about parsing prob. | David Aspinall | 2002-09-11 | |
| * | | Source of parsing problem discovered and explained. | David Aspinall | 2002-09-11 | |
| * | | Tweak html markup | David Aspinall | 2002-09-11 | |
| * | | Clarify in development support | David Aspinall | 2002-09-11 | |
| * | | Add comment at end | David Aspinall | 2002-09-11 | |
| * | | Update version number, reorg. | David Aspinall | 2002-09-11 | |
| * | | Check on context menu doesn't seem useful. | David Aspinall | 2002-09-11 | |
| * | | Updated. | David Aspinall | 2002-09-11 | |
| * | | Redisplay for gnuemacs on visibility changes. Small parser tweak. Comments. | David Aspinall | 2002-09-11 | |
| * | | Add :visible support. Minor reorganisation. | David Aspinall | 2002-09-11 | |
| * | | Support for new proof-shrink-windows-tofit option. | David Aspinall | 2002-09-11 | |
| * | | Begin support for thms buffer | David Aspinall | 2002-09-11 | |
| * | | Add proof-shrink-windows-tofit option. | David Aspinall | 2002-09-11 | |
| * | | Emulate :visible keyword | David Aspinall | 2002-09-11 | |
| * | | Missing paren | David Aspinall | 2002-09-11 | |
| * | | Updated. | David Aspinall | 2002-09-11 | |
| * | | Docstrings, setting for thms buffer | David Aspinall | 2002-09-04 | |
| * | | Begin adding code for thms buffer | David Aspinall | 2002-09-04 | |
| * | | Add proof-thms-buffer | David Aspinall | 2002-09-04 | |
| * | | only hack proof-info-directory if it exists (doesnt for RPM version) | David Aspinall | 2002-09-04 | |
| * | | generic/proof-menu: move electric terminator, show specific; Help menu items ... | David Aspinall | 2002-09-04 | |
| * | | New files. | David Aspinall | 2002-09-04 | |
| * | | don't use -q argument to emacs | David Aspinall | 2002-09-04 | |
| * | | Fix typo. | David Aspinall | 2002-08-31 | |
| * | | Fix typo. | David Aspinall | 2002-08-31 | |
| * | | Updated. | David Aspinall | 2002-08-31 | |
| * | | Set version tag for new release. | David Aspinall | 2002-08-31 | |
| * | | Documentation. | David Aspinall | 2002-08-31 | |
| * | | Doc new proof-zap-commas | David Aspinall | 2002-08-31 | |
| * | | Add -q to emacs | David Aspinall | 2002-08-31 | |
| * | | 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 | |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |