aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2000-03-10Removed note to register from here.David Aspinall
2000-03-10Added note to register hereDavid Aspinall
2000-03-10Exp support is in ordinary release, Plastic is special case.David Aspinall
2000-03-10UpdatedDavid Aspinall
2000-03-10BrevityDavid Aspinall
2000-03-10DocstringsDavid Aspinall
2000-03-10Added menu item to switch to script buffer, C-c C-o key.David Aspinall
2000-03-10Use name of proof assistant in menu.David Aspinall
2000-03-10Names of shell, goals, script buffers now based on proof assistant nameDavid Aspinall
2000-03-10Comment.David Aspinall
2000-03-10boundp->fboundp. Fix test for proof-shell-process-connection-type.David Aspinall
2000-03-09added 'case', 'print_cases';Makarius Wenzel
2000-03-09Set version tag for new release.David Aspinall
2000-03-09Added project for HOL PGDavid Aspinall
2000-03-09UpdatedDavid Aspinall
2000-03-09First bash at HOL support, working but barelyDavid Aspinall
2000-03-09Cleaned old linesDavid Aspinall
2000-03-09Added link to CHANGES on this pageDavid Aspinall
2000-03-09Only set page title if not already setDavid Aspinall
2000-03-09Standards for each instance.David Aspinall
2000-03-09Canonical web site mentioned.David Aspinall
2000-03-09Added proof-shell-process-connection-typeDavid Aspinall
2000-03-09UpdatedDavid Aspinall
2000-03-09Plans and ideas appendix no longer maintained, ref to web pageDavid Aspinall
2000-03-09Moved some comments to READMEDavid Aspinall
2000-03-09Detect default for proof-shell-process-connection-type by running unameDavid Aspinall
2000-03-09Added proof-shell-process-connection-type.David Aspinall
2000-03-09Added support for HOL98 PG.David Aspinall
2000-03-09Edited a tooltip.David Aspinall
2000-03-09Updated headers.David Aspinall
2000-03-09UpdatedDavid Aspinall
2000-03-09TweaksDavid Aspinall
2000-03-09Added README files for each prover, summarizing status.David Aspinall
2000-03-09Fixed up outline markup.David Aspinall
2000-03-08Set version tag for new release.David Aspinall
2000-03-08Added checkin for second html file.David Aspinall
2000-03-08Missing semiDavid Aspinall
2000-03-08Updated, added outline.David Aspinall
2000-03-08Added edit for devel.phtml alsoDavid Aspinall
2000-03-08Added some note about todo lists.David Aspinall
2000-03-08Added link to Claudios page.David Aspinall
2000-03-08Error example from Randy, showing too much info was lost in output msgs.David Aspinall
2000-03-08Added new regexp for recognizing LEGO errors.David Aspinall
2000-03-08Put README.devel into spec fileDavid Aspinall
2000-03-08Added numbers to refer to projects more easily.David Aspinall
2000-03-08EnglishDavid Aspinall
2000-03-08Tweaks. Me as LEGO maintainer as well as Paul.David Aspinall
2000-03-08Elaborated idea a bitDavid Aspinall
2000-03-08Hard sell on elisp.David Aspinall
2000-03-08Links to developers todo files and README added. Prerelversion notified.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-25 19:39:39 +0000