| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-05-17 | Clarify favourites command: key sequence will begin with C-c C-a. | David Aspinall |
| 2000-05-16 | Fix buttons must be 3 long error | David Aspinall |
| 2000-05-16 | Fixes for defining favourites, added warning for pre-release users. | David Aspinall |
| 2000-05-12 | Use (proof-ass X) instead of function call. | David Aspinall |
| 2000-05-12 | Specific keys begin C-c C-a, not C-c a. | David Aspinall |
| 2000-05-12 | Moved utility functions to proof-utils. | David Aspinall |
| 2000-05-11 | Menus and code cleanup | David Aspinall |
| 2000-05-09 | Fixup menus. | David Aspinall |
| 2000-05-09 | Fixup loading. | David Aspinall |
| 2000-05-09 | New files | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |