aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
2000-12-22Set version tag for new release.David Aspinall
2000-12-21Set version tag for new release.David Aspinall
2000-12-21.phox -> .phxDavid Aspinall
2000-12-20Set version tag for new release.David Aspinall
2000-12-15Set version tag for new release.David Aspinall
2000-12-14*** empty log message ***David Aspinall
2000-12-14Updated to use Require commandsDavid Aspinall
2000-12-07Name change af2 -> phoxDavid Aspinall
2000-12-07Set version tag for new release.David Aspinall
2000-12-01Change info globs to work with mandrakeDavid Aspinall
2000-12-01Set version tag for new release.David Aspinall
2000-11-17Set version tag for new release.David Aspinall
2000-11-15Set version tag for new release.David Aspinall
2000-10-19Set version tag for new release.David Aspinall
2000-10-18Set version tag for new release.David Aspinall
2000-10-18Set version tag for new release.David Aspinall
2000-10-03Set version tag for new release.David Aspinall
2000-10-02Removed link to CHANGES, its buggyDavid Aspinall
2000-10-023-2-1 pendingDavid Aspinall
2000-10-02Mention Isabelle99-1 changeDavid Aspinall
2000-10-02Set version tag for new release.David Aspinall
2000-10-02Upcoming patch anticipated already.David Aspinall
2000-10-02Set version tag for new release.David Aspinall
2000-10-02Set version tag for new release.David Aspinall
2000-10-02Add todays date, 3.2David Aspinall
2000-09-29Added a new email aliasDavid Aspinall
2000-09-29Another buglet in files listDavid Aspinall
2000-09-29Bug in files listDavid Aspinall
2000-09-29Fix adding acl2 and twelf to RPMDavid 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-29Note about dealing with backslashname directory.David Aspinall
2000-09-29Note about dealing with backslashname directory.David Aspinall
2000-09-29Add more provers, and proofgeneral scriptDavid Aspinall
2000-09-29Notes about proofgeneral.orgDavid Aspinall
2000-09-29Mention ACL2 tooDavid Aspinall
2000-09-28Fix URL.David Aspinall
2000-09-28Set version tag for new release.David Aspinall
2000-09-27Set version tag for new release.David Aspinall
2000-09-27UpdatedDavid Aspinall
2000-09-27Fix URL of sourceDavid Aspinall
2000-09-26Fix adding af2 to RPM.David Aspinall
2000-09-26Set version tag for new release.David Aspinall
2000-09-26Fix Proof General web page to www.proofgeneral.org.David Aspinall
2000-09-26Updated for 3.2 releaseDavid Aspinall
2000-09-25Set version tag for new release.David Aspinall
2000-09-25Add AF2 to RPM package.David Aspinall
2000-09-23Set version tag for new release.David Aspinall
2000-09-21Set version tag for new release.David Aspinall
2000-09-21Fix globbing some more.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 15:23:53 +0000