aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* *** empty log message ***Gravatar Christophe Raffalli2001-02-20
* Set version tag for new release.Gravatar David Aspinall2001-02-07
* Set version tag for new release.Gravatar David Aspinall2001-02-06
* Set version tag for new release.Gravatar David Aspinall2001-01-12
* Set version tag for new release.Gravatar David Aspinall2001-01-05
* Set version tag for new release.Gravatar David Aspinall2000-12-22
* Set version tag for new release.Gravatar David Aspinall2000-12-21
* .phox -> .phxGravatar David Aspinall2000-12-21
* Set version tag for new release.Gravatar David Aspinall2000-12-20
* Set version tag for new release.Gravatar David Aspinall2000-12-15
* *** empty log message ***Gravatar David Aspinall2000-12-14
* Updated to use Require commandsGravatar David Aspinall2000-12-14
* Name change af2 -> phoxGravatar David Aspinall2000-12-07
* Set version tag for new release.Gravatar David Aspinall2000-12-07
* Change info globs to work with mandrakeGravatar David Aspinall2000-12-01
* Set version tag for new release.Gravatar David Aspinall2000-12-01
* Set version tag for new release.Gravatar David Aspinall2000-11-17
* Set version tag for new release.Gravatar David Aspinall2000-11-15
* Set version tag for new release.Gravatar David Aspinall2000-10-19
* Set version tag for new release.Gravatar David Aspinall2000-10-18
* Set version tag for new release.Gravatar David Aspinall2000-10-18
* Set version tag for new release.Gravatar David Aspinall2000-10-03
* Removed link to CHANGES, its buggyGravatar David Aspinall2000-10-02
* 3-2-1 pendingGravatar David Aspinall2000-10-02
* Mention Isabelle99-1 changeGravatar David Aspinall2000-10-02
* Set version tag for new release.Gravatar David Aspinall2000-10-02
* Upcoming patch anticipated already.Gravatar David Aspinall2000-10-02
* Set version tag for new release.Gravatar David Aspinall2000-10-02
* Set version tag for new release.Gravatar David Aspinall2000-10-02
* Add todays date, 3.2Gravatar David Aspinall2000-10-02
* Added a new email aliasGravatar David Aspinall2000-09-29
* Another buglet in files listGravatar David Aspinall2000-09-29
* Bug in files listGravatar David Aspinall2000-09-29
* Fix adding acl2 and twelf to RPMGravatar David Aspinall2000-09-29
* Remove patch on perl filename now, after Pierres accidental checkin.Gravatar David Aspinall2000-09-29
* Set version tag for new release.Gravatar David Aspinall2000-09-29
* Note about dealing with backslashname directory.Gravatar David Aspinall2000-09-29
* Note about dealing with backslashname directory.Gravatar David Aspinall2000-09-29
* Add more provers, and proofgeneral scriptGravatar David Aspinall2000-09-29
* Notes about proofgeneral.orgGravatar David Aspinall2000-09-29
* Mention ACL2 tooGravatar David Aspinall2000-09-29
* Fix URL.Gravatar David Aspinall2000-09-28
* Set version tag for new release.Gravatar David Aspinall2000-09-28
* Set version tag for new release.Gravatar David Aspinall2000-09-27
* UpdatedGravatar David Aspinall2000-09-27
* Fix URL of sourceGravatar David Aspinall2000-09-27
* Fix adding af2 to RPM.Gravatar David Aspinall2000-09-26
* Set version tag for new release.Gravatar David Aspinall2000-09-26
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
* Updated for 3.2 releaseGravatar David Aspinall2000-09-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 13:39:58 +0000