Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Note about current pre-release being outdated wrt 3.2 | David Aspinall | 2000-10-02 | |
| | ||||
* | Note about current pre-release being outdated wrt 3.2 | David Aspinall | 2000-10-02 | |
| | ||||
* | Updated. | David Aspinall | 2000-10-02 | |
| | ||||
* | Updated | David Aspinall | 2000-10-02 | |
| | ||||
* | Remove ps and pdf for PG-adapting from distrib to redue size to normal ↵ | David Aspinall | 2000-10-02 | |
| | | | | proportions. | |||
* | Updated. | David Aspinall | 2000-10-02 | |
| | ||||
* | Updated. | David Aspinall | 2000-10-02 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-10-02 | |
| | ||||
* | Add todays date, 3.2 | David Aspinall | 2000-10-02 | |
| | ||||
* | Updated web pages for 3.2 release | David Aspinall | 2000-10-02 | |
| | ||||
* | Updated, cleaned up | David Aspinall | 2000-10-02 | |
| | ||||
* | Note about alternative path to perl | David Aspinall | 2000-10-02 | |
| | ||||
* | Updated magic | David Aspinall | 2000-10-02 | |
| | ||||
* | Caveats about using elcs. | David Aspinall | 2000-10-02 | |
| | ||||
* | New file | David Aspinall | 2000-10-02 | |
| | ||||
* | Pass extra args to emacs. | David Aspinall | 2000-10-02 | |
| | ||||
* | Attempt to force image build | David Aspinall | 2000-10-02 | |
| | ||||
* | Attempt to force image build | David Aspinall | 2000-10-02 | |
| | ||||
* | Subtitle caps | David Aspinall | 2000-10-02 | |
| | ||||
* | Updated. | David Aspinall | 2000-09-29 | |
| | ||||
* | Added a new email alias | David Aspinall | 2000-09-29 | |
| | ||||
* | Typos in credits section | David Aspinall | 2000-09-29 | |
| | ||||
* | Added credits section | David Aspinall | 2000-09-29 | |
| | ||||
* | Updated. | David Aspinall | 2000-09-29 | |
| | ||||
* | Another buglet in files list | David Aspinall | 2000-09-29 | |
| | ||||
* | Updated. | David Aspinall | 2000-09-29 | |
| | ||||
* | Bug in files list | David Aspinall | 2000-09-29 | |
| | ||||
* | Updated. | David Aspinall | 2000-09-29 | |
| | ||||
* | Remove ChangeLog from ignoreds | David Aspinall | 2000-09-29 | |
| | ||||
* | Fix ChangeLog target so makes prefix properly. Revert to keeping ↵ | David Aspinall | 2000-09-29 | |
| | | | | uncompressed file in repo. | |||
* | Add acl2 and twelf to elisp dirs | David Aspinall | 2000-09-29 | |
| | ||||
* | Fix adding acl2 and twelf to RPM | David Aspinall | 2000-09-29 | |
| | ||||
* | ChangeLog is just last 1000 lines, instead of 11000 starting in 1996... | David Aspinall | 2000-09-29 | |
| | ||||
* | Link image to root dir. | David Aspinall | 2000-09-29 | |
| | ||||
* | Tweak | David Aspinall | 2000-09-29 | |
| | ||||
* | Remove patch on perl filename now, after Pierres accidental checkin. | David Aspinall | 2000-09-29 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-09-29 | |
| | ||||
* | Updating branch | David Aspinall | 2000-09-29 | |
| | ||||
* | Note about dealing with backslashname directory. | David Aspinall | 2000-09-29 | |
| | ||||
* | Updated | David Aspinall | 2000-09-29 | |
| | ||||
* | Note about dealing with backslashname directory. | David Aspinall | 2000-09-29 | |
| | ||||
* | Update URLs and mail aliases. Mention script, and extensions for new provers | David Aspinall | 2000-09-29 | |
| | ||||
* | Script for launching proofgeneral. | David Aspinall | 2000-09-29 | |
| | ||||
* | Updated | David Aspinall | 2000-09-29 | |
| | ||||
* | Add more provers, and proofgeneral script | David Aspinall | 2000-09-29 | |
| | ||||
* | Notes about proofgeneral.org | David Aspinall | 2000-09-29 | |
| | ||||
* | Add icon images. | David Aspinall | 2000-09-29 | |
| | ||||
* | Minor change | David Aspinall | 2000-09-29 | |
| | ||||
* | Note about packages needed | David Aspinall | 2000-09-29 | |
| | ||||
* | Click to go back links to root. | David Aspinall | 2000-09-29 | |
| |