aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-10-02Fix recursive makeDavid Aspinall
2000-10-02Updated.David Aspinall
2000-10-02Set version tag for new release.David Aspinall
2000-10-02Note about current pre-release being outdated wrt 3.2David Aspinall
2000-10-02Note about current pre-release being outdated wrt 3.2David Aspinall
2000-10-02Updated.David Aspinall
2000-10-02UpdatedDavid Aspinall
2000-10-02Remove ps and pdf for PG-adapting from distrib to redue size to normal propor...David Aspinall
2000-10-02Updated.David Aspinall
2000-10-02Updated.David Aspinall
2000-10-02Set version tag for new release.David Aspinall
2000-10-02Add todays date, 3.2David Aspinall
2000-10-02Updated web pages for 3.2 releaseDavid Aspinall
2000-10-02Updated, cleaned upDavid Aspinall
2000-10-02Note about alternative path to perlDavid Aspinall
2000-10-02Updated magicDavid Aspinall
2000-10-02Caveats about using elcs.David Aspinall
2000-10-02New fileDavid Aspinall
2000-10-02Pass extra args to emacs.David Aspinall
2000-10-02Attempt to force image buildDavid Aspinall
2000-10-02Attempt to force image buildDavid Aspinall
2000-10-02Subtitle capsDavid Aspinall
2000-09-29Updated.David Aspinall
2000-09-29Added a new email aliasDavid Aspinall
2000-09-29Typos in credits sectionDavid Aspinall
2000-09-29Added credits sectionDavid Aspinall
2000-09-29Updated.David Aspinall
2000-09-29Another buglet in files listDavid Aspinall
2000-09-29Updated.David Aspinall
2000-09-29Bug in files listDavid Aspinall
2000-09-29Updated.David Aspinall
2000-09-29Remove ChangeLog from ignoredsDavid Aspinall
2000-09-29Fix ChangeLog target so makes prefix properly. Revert to keeping uncompresse...David Aspinall
2000-09-29Add acl2 and twelf to elisp dirsDavid Aspinall
2000-09-29Fix adding acl2 and twelf to RPMDavid Aspinall
2000-09-29ChangeLog is just last 1000 lines, instead of 11000 starting in 1996...David Aspinall
2000-09-29Link image to root dir.David Aspinall
2000-09-29TweakDavid Aspinall
2000-09-29Remove patch on perl filename now, after Pierres accidental checkin.David Aspinall
2000-09-29Set version tag for new release.David Aspinall
2000-09-29Updating branchDavid Aspinall
2000-09-29Note about dealing with backslashname directory.David Aspinall
2000-09-29UpdatedDavid Aspinall
2000-09-29Note about dealing with backslashname directory.David Aspinall
2000-09-29Update URLs and mail aliases. Mention script, and extensions for new proversDavid Aspinall
2000-09-29Script for launching proofgeneral.David Aspinall
2000-09-29UpdatedDavid Aspinall
2000-09-29Add more provers, and proofgeneral scriptDavid Aspinall
2000-09-29Notes about proofgeneral.orgDavid Aspinall
2000-09-29Add icon images.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 08:57:38 +0000