| Age | Commit message (Expand) | Author |
|---|
| 2000-03-10 | Removed note to register from here. | David Aspinall |
| 2000-03-10 | Added note to register here | David Aspinall |
| 2000-03-10 | Exp support is in ordinary release, Plastic is special case. | David Aspinall |
| 2000-03-10 | Updated | David Aspinall |
| 2000-03-10 | Brevity | David Aspinall |
| 2000-03-10 | Docstrings | David Aspinall |
| 2000-03-10 | Added menu item to switch to script buffer, C-c C-o key. | David Aspinall |
| 2000-03-10 | Use name of proof assistant in menu. | David Aspinall |
| 2000-03-10 | Names of shell, goals, script buffers now based on proof assistant name | David Aspinall |
| 2000-03-10 | Comment. | David Aspinall |
| 2000-03-10 | boundp->fboundp. Fix test for proof-shell-process-connection-type. | David Aspinall |
| 2000-03-09 | added 'case', 'print_cases'; | Makarius Wenzel |
| 2000-03-09 | Set version tag for new release. | David Aspinall |
| 2000-03-09 | Added project for HOL PG | David Aspinall |
| 2000-03-09 | Updated | David Aspinall |
| 2000-03-09 | First bash at HOL support, working but barely | David Aspinall |
| 2000-03-09 | Cleaned old lines | David Aspinall |
| 2000-03-09 | Added link to CHANGES on this page | David Aspinall |
| 2000-03-09 | Only set page title if not already set | David Aspinall |
| 2000-03-09 | Standards for each instance. | David Aspinall |
| 2000-03-09 | Canonical web site mentioned. | David Aspinall |
| 2000-03-09 | Added proof-shell-process-connection-type | David Aspinall |
| 2000-03-09 | Updated | David Aspinall |
| 2000-03-09 | Plans and ideas appendix no longer maintained, ref to web page | David Aspinall |
| 2000-03-09 | Moved some comments to README | David Aspinall |
| 2000-03-09 | Detect default for proof-shell-process-connection-type by running uname | David Aspinall |
| 2000-03-09 | Added proof-shell-process-connection-type. | David Aspinall |
| 2000-03-09 | Added support for HOL98 PG. | David Aspinall |
| 2000-03-09 | Edited a tooltip. | David Aspinall |
| 2000-03-09 | Updated headers. | David Aspinall |
| 2000-03-09 | Updated | David Aspinall |
| 2000-03-09 | Tweaks | David Aspinall |
| 2000-03-09 | Added README files for each prover, summarizing status. | David Aspinall |
| 2000-03-09 | Fixed up outline markup. | David Aspinall |
| 2000-03-08 | Set version tag for new release. | David Aspinall |
| 2000-03-08 | Added checkin for second html file. | David Aspinall |
| 2000-03-08 | Missing semi | David Aspinall |
| 2000-03-08 | Updated, added outline. | David Aspinall |
| 2000-03-08 | Added edit for devel.phtml also | David Aspinall |
| 2000-03-08 | Added some note about todo lists. | David Aspinall |
| 2000-03-08 | Added link to Claudios page. | David Aspinall |
| 2000-03-08 | Error example from Randy, showing too much info was lost in output msgs. | David Aspinall |
| 2000-03-08 | Added new regexp for recognizing LEGO errors. | David Aspinall |
| 2000-03-08 | Put README.devel into spec file | David Aspinall |
| 2000-03-08 | Added numbers to refer to projects more easily. | David Aspinall |
| 2000-03-08 | English | David Aspinall |
| 2000-03-08 | Tweaks. Me as LEGO maintainer as well as Paul. | David Aspinall |
| 2000-03-08 | Elaborated idea a bit | David Aspinall |
| 2000-03-08 | Hard sell on elisp. | David Aspinall |
| 2000-03-08 | Links to developers todo files and README added. Prerelversion notified. | David Aspinall |
