Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added docs and proof-restart-script-same-process (may need work) | 1998-09-14 | |
* | Renamed recycle icon to restart | 1998-09-09 | |
* | Added query to restart script button in case of accidents. | 1998-09-09 | |
* | Added todos for toolbar. | 1998-09-08 | |
* | First version of generic proof toolbar. | 1998-09-08 |