aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Note about alternative path to perlGravatar David Aspinall2000-10-02
* Updated magicGravatar David Aspinall2000-10-02
* Caveats about using elcs.Gravatar David Aspinall2000-10-02
* New fileGravatar David Aspinall2000-10-02
* Pass extra args to emacs.Gravatar David Aspinall2000-10-02
* Attempt to force image buildGravatar David Aspinall2000-10-02
* Attempt to force image buildGravatar David Aspinall2000-10-02
* Subtitle capsGravatar David Aspinall2000-10-02
* Updated.Gravatar David Aspinall2000-09-29
* Added a new email aliasGravatar David Aspinall2000-09-29
* Typos in credits sectionGravatar David Aspinall2000-09-29
* Added credits sectionGravatar David Aspinall2000-09-29
* Updated.Gravatar David Aspinall2000-09-29
* Another buglet in files listGravatar David Aspinall2000-09-29
* Updated.Gravatar David Aspinall2000-09-29
* Bug in files listGravatar David Aspinall2000-09-29
* Updated.Gravatar David Aspinall2000-09-29
* Remove ChangeLog from ignoredsGravatar David Aspinall2000-09-29
* Fix ChangeLog target so makes prefix properly. Revert to keeping uncompresse...Gravatar David Aspinall2000-09-29
* Add acl2 and twelf to elisp dirsGravatar David Aspinall2000-09-29
* Fix adding acl2 and twelf to RPMGravatar David Aspinall2000-09-29
* ChangeLog is just last 1000 lines, instead of 11000 starting in 1996...Gravatar David Aspinall2000-09-29
* Link image to root dir.Gravatar David Aspinall2000-09-29
* TweakGravatar David Aspinall2000-09-29
* Remove patch on perl filename now, after Pierres accidental checkin.Gravatar David Aspinall2000-09-29
* Set version tag for new release.Gravatar David Aspinall2000-09-29
* Updating branchGravatar David Aspinall2000-09-29
* Note about dealing with backslashname directory.Gravatar David Aspinall2000-09-29
* UpdatedGravatar David Aspinall2000-09-29
* Note about dealing with backslashname directory.Gravatar David Aspinall2000-09-29
* Update URLs and mail aliases. Mention script, and extensions for new proversGravatar David Aspinall2000-09-29
* Script for launching proofgeneral.Gravatar David Aspinall2000-09-29
* UpdatedGravatar David Aspinall2000-09-29
* Add more provers, and proofgeneral scriptGravatar David Aspinall2000-09-29
* Notes about proofgeneral.orgGravatar David Aspinall2000-09-29
* Add icon images.Gravatar David Aspinall2000-09-29
* Minor changeGravatar David Aspinall2000-09-29
* Note about packages neededGravatar David Aspinall2000-09-29
* Click to go back links to root.Gravatar David Aspinall2000-09-29
* Remove messy link_root links.Gravatar David Aspinall2000-09-29
* Short file instead of a link, so works in CVS. Bit annoying to duplicate, but...Gravatar David Aspinall2000-09-29
* Links for shortcut URLs.Gravatar David Aspinall2000-09-29
* Mention needed server hacksGravatar David Aspinall2000-09-29
* Remove link_root nonsenseGravatar David Aspinall2000-09-29
* Updated with fixes before 3.2.Gravatar David Aspinall2000-09-29
* Inherent problem with Emacs in console mode: no face supportGravatar David Aspinall2000-09-29
* twelf and acl2 are in ordinary distGravatar David Aspinall2000-09-29
* Mention ACL2 tooGravatar David Aspinall2000-09-29
* TweakGravatar David Aspinall2000-09-29
* Comment fixGravatar David Aspinall2000-09-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 11:38:37 +0000