| Age | Commit message (Expand) | Author |
|---|---|---|
| 1998-10-01 | Updated maintainer tags to remove lego email address. | David Aspinall |
| 1998-10-01 | Added qed button. Fixed enabler predicates. | David Aspinall |
| 1998-09-23 | Changed customization group name | David Aspinall |
| 1998-09-22 | Added new buttons, changed icons. | David Aspinall |
| 1998-09-14 | Added docs and proof-restart-script-same-process (may need work) | David Aspinall |
| 1998-09-09 | Renamed recycle icon to restart | David Aspinall |
| 1998-09-09 | Added query to restart script button in case of accidents. | David Aspinall |
| 1998-09-08 | Added todos for toolbar. | David Aspinall |
| 1998-09-08 | First version of generic proof toolbar. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |