Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | |
| | ||||
* | Remove messy link_root links. | David Aspinall | 2000-09-29 | |
| | ||||
* | Short file instead of a link, so works in CVS. Bit annoying to duplicate, ↵ | David Aspinall | 2000-09-29 | |
| | | | | but never mind. | |||
* | Links for shortcut URLs. | David Aspinall | 2000-09-29 | |
| | ||||
* | Mention needed server hacks | David Aspinall | 2000-09-29 | |
| | ||||
* | Remove link_root nonsense | David Aspinall | 2000-09-29 | |
| | ||||
* | Updated with fixes before 3.2. | David Aspinall | 2000-09-29 | |
| |