aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/ProofGeneral.spec
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2000-09-28
* Set version tag for new release.Gravatar 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
* 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
* Set version tag for new release.Gravatar David Aspinall2000-09-20
* Set version tag for new release.Gravatar David Aspinall2000-09-18
* Set version tag for new release.Gravatar David Aspinall2000-09-14
* Set version tag for new release.Gravatar David Aspinall2000-09-13
* Set version tag for new release.Gravatar David Aspinall2000-09-12
* Set version tag for new release.Gravatar David Aspinall2000-09-11
* Set version tag for new release.Gravatar David Aspinall2000-08-29
* Set version tag for new release.Gravatar David Aspinall2000-08-28
* Set version tag for new release.Gravatar David Aspinall2000-08-09
* Set version tag for new release.Gravatar David Aspinall2000-07-26
* Set version tag for new release.Gravatar David Aspinall2000-07-16
* Set version tag for new release.Gravatar David Aspinall2000-07-13
* Add Isabelle interface scripts to RPMGravatar David Aspinall2000-07-13
* Set version tag for new release.Gravatar David Aspinall2000-07-12
* Set version tag for new release.Gravatar David Aspinall2000-07-05
* Set version tag for new release.Gravatar David Aspinall2000-07-04
* Set version tag for new release.Gravatar David Aspinall2000-07-03
* Set version tag for new release.Gravatar David Aspinall2000-06-29
* Set version tag for new release.Gravatar David Aspinall2000-06-27
* Set version tag for new release.Gravatar David Aspinall2000-06-22
* Set version tag for new release.Gravatar David Aspinall2000-06-19
* Set version tag for new release.Gravatar David Aspinall2000-06-16
* Set version tag for new release.Gravatar David Aspinall2000-06-09
* Set version tag for new release.Gravatar David Aspinall2000-06-06
* Set version tag for new release.Gravatar David Aspinall2000-06-01
* Set version tag for new release.Gravatar David Aspinall2000-05-30
* Set version tag for new release.Gravatar David Aspinall2000-05-29
* Fix applying of patch.Gravatar David Aspinall2000-05-25
* Set version tag for new release.Gravatar David Aspinall2000-05-25
* Set version tag for new release.Gravatar David Aspinall2000-05-17
* Set version tag for new release.Gravatar David Aspinall2000-05-16
* Set version tag for new release.Gravatar David Aspinall2000-05-11
* Set version tag for new release.Gravatar David Aspinall2000-05-09
* Set version tag for new release.Gravatar David Aspinall2000-05-05
* Set version tag for new release.Gravatar David Aspinall2000-05-01
* Set version tag for new release.Gravatar David Aspinall2000-04-28