aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2000-03-08Split low-level todo into several files.David Aspinall
2000-03-08Note about bug/fix with old Japan versions of CL macs.David Aspinall
2000-03-08File for developers to read.David Aspinall
2000-03-08Fix to warn function to use format args.David Aspinall
2000-03-08Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)David Aspinall
2000-03-01Fix parse error oopsDavid Aspinall
2000-03-01Set version tag for new release.David Aspinall
2000-03-01Unify terminology.David Aspinall
2000-03-01New projects addedDavid Aspinall
2000-02-29Set version tag for new release.David Aspinall
2000-02-29UpdatedDavid Aspinall
2000-02-29Forced process-connection-type always to nil, after all. May not be an issue...David Aspinall
2000-02-29Include html in a small page via this page.David Aspinall
2000-02-29Put projects onto separate pages.David Aspinall
2000-02-29New projects directory.David Aspinall
2000-02-28Set version tag for new release.David Aspinall
2000-02-28Todos for 3.1David Aspinall
2000-02-28Added some more projectsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 06:26:17 +0000