aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* 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
* Set version tag for new release.Gravatar David Aspinall2000-09-25
* Add AF2 to RPM package.Gravatar David Aspinall2000-09-25
* Set version tag for new release.Gravatar David Aspinall2000-09-23
* Set version tag for new release.Gravatar David Aspinall2000-09-21
* Fix globbing some more.Gravatar David Aspinall2000-09-21
* Fix for rpm braindead globbing.Gravatar David Aspinall2000-09-21
* Add PG-adapting to info files.Gravatar David Aspinall2000-09-21
* Added Prefixes: tagGravatar David Aspinall2000-09-21
* bug2: Resolved as of 17.9.00;Gravatar Makarius Wenzel2000-09-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 19:09:27 +0000