aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* boundp->fboundp. Fix test for proof-shell-process-connection-type.Gravatar David Aspinall2000-03-10
* added 'case', 'print_cases';Gravatar Makarius Wenzel2000-03-09
* Set version tag for new release.Gravatar David Aspinall2000-03-09
* Added project for HOL PGGravatar David Aspinall2000-03-09
* UpdatedGravatar David Aspinall2000-03-09
* First bash at HOL support, working but barelyGravatar David Aspinall2000-03-09
* Cleaned old linesGravatar David Aspinall2000-03-09
* Added link to CHANGES on this pageGravatar David Aspinall2000-03-09
* Only set page title if not already setGravatar David Aspinall2000-03-09
* Standards for each instance.Gravatar David Aspinall2000-03-09
* Canonical web site mentioned.Gravatar David Aspinall2000-03-09
* Added proof-shell-process-connection-typeGravatar David Aspinall2000-03-09
* UpdatedGravatar David Aspinall2000-03-09
* Plans and ideas appendix no longer maintained, ref to web pageGravatar David Aspinall2000-03-09
* Moved some comments to READMEGravatar David Aspinall2000-03-09
* Detect default for proof-shell-process-connection-type by running unameGravatar David Aspinall2000-03-09
* Added proof-shell-process-connection-type.Gravatar David Aspinall2000-03-09
* Added support for HOL98 PG.Gravatar David Aspinall2000-03-09
* Edited a tooltip.Gravatar David Aspinall2000-03-09
* Updated headers.Gravatar David Aspinall2000-03-09
* UpdatedGravatar David Aspinall2000-03-09
* TweaksGravatar David Aspinall2000-03-09
* Added README files for each prover, summarizing status.Gravatar David Aspinall2000-03-09
* Fixed up outline markup.Gravatar David Aspinall2000-03-09
* Set version tag for new release.Gravatar David Aspinall2000-03-08
* Added checkin for second html file.Gravatar David Aspinall2000-03-08
* Missing semiGravatar David Aspinall2000-03-08
* Updated, added outline.Gravatar David Aspinall2000-03-08
* Added edit for devel.phtml alsoGravatar David Aspinall2000-03-08
* Added some note about todo lists.Gravatar David Aspinall2000-03-08
* Added link to Claudios page.Gravatar David Aspinall2000-03-08
* Error example from Randy, showing too much info was lost in output msgs.Gravatar David Aspinall2000-03-08
* Added new regexp for recognizing LEGO errors.Gravatar David Aspinall2000-03-08
* Put README.devel into spec fileGravatar David Aspinall2000-03-08
* Added numbers to refer to projects more easily.Gravatar David Aspinall2000-03-08
* EnglishGravatar David Aspinall2000-03-08
* Tweaks. Me as LEGO maintainer as well as Paul.Gravatar David Aspinall2000-03-08
* Elaborated idea a bitGravatar David Aspinall2000-03-08
* Hard sell on elisp.Gravatar David Aspinall2000-03-08
* Links to developers todo files and README added. Prerelversion notified.Gravatar David Aspinall2000-03-08
* Split low-level todo into several files.Gravatar David Aspinall2000-03-08
* Note about bug/fix with old Japan versions of CL macs.Gravatar David Aspinall2000-03-08
* File for developers to read.Gravatar David Aspinall2000-03-08
* Fix to warn function to use format args.Gravatar David Aspinall2000-03-08
* Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)Gravatar David Aspinall2000-03-08
* Fix parse error oopsGravatar David Aspinall2000-03-01
* Set version tag for new release.Gravatar David Aspinall2000-03-01
* Unify terminology.Gravatar David Aspinall2000-03-01
* New projects addedGravatar David Aspinall2000-03-01
* Set version tag for new release.Gravatar David Aspinall2000-02-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 23:38:56 +0000