aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2000-09-29Minor changeDavid Aspinall
2000-09-29Note about packages neededDavid Aspinall
2000-09-29Click to go back links to root.David Aspinall
2000-09-29Remove messy link_root links.David Aspinall
2000-09-29Short file instead of a link, so works in CVS. Bit annoying to duplicate, but...David Aspinall
2000-09-29Links for shortcut URLs.David Aspinall
2000-09-29Mention needed server hacksDavid Aspinall
2000-09-29Remove link_root nonsenseDavid Aspinall
2000-09-29Updated with fixes before 3.2.David Aspinall
2000-09-29Inherent problem with Emacs in console mode: no face supportDavid Aspinall
2000-09-29twelf and acl2 are in ordinary distDavid Aspinall
2000-09-29Mention ACL2 tooDavid Aspinall
2000-09-29TweakDavid Aspinall
2000-09-29Comment fixDavid Aspinall
2000-09-29Parse comments also in proof-script-generic-parse-sexpDavid Aspinall
2000-09-29Non existent get-window-buffer -> get-buffer-window (how did that get through?)David Aspinall
2000-09-29Default for proof-comment-end that doesn't cause looping in searching for com...David Aspinall
2000-09-29Updated, trimmed down to barebones.David Aspinall
2000-09-29added some comments in coq/todoPierre Courtieu
2000-09-29Make default path to perl be /usr/bin/perlDavid Aspinall
2000-09-29a little change in coq/x-symbol, nothingPierre Courtieu
2000-09-29A little work around for the bug of Coq concerning the restart thatPierre Courtieu
2000-09-29Added Uncaught exception errors in coq-error-regexp.Pierre Courtieu
2000-09-28Date becomes OctDavid Aspinall
2000-09-28Fix web page, at least.David Aspinall
2000-09-28Notes.David Aspinall
2000-09-28TweaksDavid Aspinall
2000-09-28phtml -> htmlDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 13:58:11 +0000