| Age | Commit message (Expand) | Author |
|---|---|---|
| 1999-08-29 | tuned; | Makarius Wenzel |
| 1999-08-29 | added ALLGOALS; | Makarius Wenzel |
| 1999-08-27 | Typo (I think) | David Aspinall |
| 1999-08-27 | Note about volume | David Aspinall |
| 1999-08-27 | Set version tag for new release. | David Aspinall |
| 1999-08-27 | wording | David Aspinall |
| 1999-08-27 | updated | David Aspinall |
| 1999-08-27 | Added more macros to generalise Makefile | David Aspinall |
| 1999-08-27 | Updated | David Aspinall |
| 1999-08-27 | Added gallery | David Aspinall |
| 1999-08-27 | New images for gallery | David Aspinall |
| 1999-08-27 | Record of releases | David Aspinall |
| 1999-08-27 | Updated for 2.1 | David Aspinall |
| 1999-08-27 | Changed for version 2.2 pre-release. | David Aspinall |
| 1999-08-27 | Updated | David Aspinall |
| 1999-08-25 | added qed_spec_mp; | Makarius Wenzel |
| 1999-08-25 | Fixed to include isar in distribution; made relocatable. | David Aspinall |
| 1999-08-24 | Set version tag for new release. | David Aspinall |
| 1999-08-24 | Altered release date for 2.1. | David Aspinall |
| 1999-08-24 | Fixed version variable name. | David Aspinall |
| 1999-08-24 | Attempted fix of FSFmacs problem, left as comment | David Aspinall |
| 1999-08-24 | Docstring | David Aspinall |
| 1999-08-24 | Reverted to 2.1 changes | David Aspinall |
| 1999-08-24 | Updated | David Aspinall |
| 1999-08-24 | enabled isar/; | Makarius Wenzel |
| 1999-08-24 | enabled isar; | Makarius Wenzel |
| 1999-08-24 | isar-response-mode; | Makarius Wenzel |
| 1999-08-24 | some output syntax; | Makarius Wenzel |
| 1999-08-23 | Updated from Coq 6.3 distrib. | David Aspinall |
| 1999-08-23 | Set version tag for new release. | David Aspinall |
| 1999-08-23 | FIXME to add menu to goals buffer, to match response buffer menu. | David Aspinall |
| 1999-08-23 | Changes for 2.3 series pre-releases. | David Aspinall |
| 1999-08-23 | Set version tag for new release. | David Aspinall |
| 1999-08-23 | Maintainer addresses | David Aspinall |
| 1999-08-23 | Very soon now = now | David Aspinall |
| 1999-08-23 | New items | David Aspinall |
| 1999-08-23 | Mentioned a few tests | David Aspinall |
| 1999-08-23 | Updated | David Aspinall |
| 1999-08-23 | Updated. | David Aspinall |
| 1999-08-23 | Disable properly if x-symbol is not available. | David Aspinall |
| 1999-08-23 | fixed comment; | Makarius Wenzel |
| 1999-08-23 | Updates suggested by Markus and Patrick for Coq 6.3. | David Aspinall |
| 1999-08-23 | Integrated patch from David von Oheimb. | David Aspinall |
| 1999-08-23 | Set version tag for new release. | David Aspinall |
| 1999-08-23 | Fix for toolbar disable for FSF Emacs. | David Aspinall |
| 1999-08-23 | proof-version -> proof-general-version | David Aspinall |
| 1999-08-23 | Updates. | David Aspinall |
| 1999-08-23 | Mentioned C-c C-a being broken. XEmacs 20.4 or later. | David Aspinall |
| 1999-08-23 | Other usability improvements | David Aspinall |
| 1999-08-23 | Added font-lock keywords and syntax table setup for buffers displaying | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |