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