aboutsummaryrefslogtreecommitdiff
path: root/etc/ProofGeneral.spec
AgeCommit message (Expand)Author
2000-10-02Set version tag for new release.David Aspinall
2000-10-02Set version tag for new release.David 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-29Set version tag for new release.David Aspinall
2000-09-29Add more provers, and proofgeneral scriptDavid Aspinall
2000-09-28Set version tag for new release.David Aspinall
2000-09-27Set version tag for new release.David 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-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
2000-09-21Fix for rpm braindead globbing.David Aspinall
2000-09-21Add PG-adapting to info files.David Aspinall
2000-09-21Added Prefixes: tagDavid Aspinall
2000-09-20Set version tag for new release.David Aspinall
2000-09-18Set version tag for new release.David Aspinall
2000-09-14Set version tag for new release.David Aspinall
2000-09-13Set version tag for new release.David Aspinall
2000-09-12Set version tag for new release.David Aspinall
2000-09-11Set version tag for new release.David Aspinall
2000-08-29Set version tag for new release.David Aspinall
2000-08-28Set version tag for new release.David Aspinall
2000-08-09Set version tag for new release.David Aspinall
2000-07-26Set version tag for new release.David Aspinall
2000-07-16Set version tag for new release.David Aspinall
2000-07-13Set version tag for new release.David Aspinall
2000-07-13Add Isabelle interface scripts to RPMDavid Aspinall
2000-07-12Set version tag for new release.David Aspinall
2000-07-05Set version tag for new release.David Aspinall
2000-07-04Set version tag for new release.David Aspinall
2000-07-03Set version tag for new release.David Aspinall
2000-06-29Set version tag for new release.David Aspinall
2000-06-27Set version tag for new release.David Aspinall
2000-06-22Set version tag for new release.David Aspinall
2000-06-19Set version tag for new release.David Aspinall
2000-06-16Set version tag for new release.David Aspinall
2000-06-09Set version tag for new release.David Aspinall
2000-06-06Set version tag for new release.David Aspinall
2000-06-01Set version tag for new release.David Aspinall
2000-05-30Set version tag for new release.David Aspinall
2000-05-29Set version tag for new release.David Aspinall
2000-05-25Fix applying of patch.David Aspinall
2000-05-25Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 05:31:00 +0000