| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |