aboutsummaryrefslogtreecommitdiff
path: root/etc/ProofGeneral.spec
AgeCommit message (Expand)Author
1998-11-26Set version tag for new release.David Aspinall
1998-11-25Set version tag for new release.David Aspinall
1998-11-25Emacs lovers become militant.David Aspinall
1998-11-20Set version tag for new release.David Aspinall
1998-11-10Set version tag for new release.David Aspinall
1998-11-04Set version tag for new release.David Aspinall
1998-11-03Set version tag for new release.Thomas Kleymann
1998-11-02Set version tag for new release.Thomas Kleymann
1998-10-30Set version tag for new release.Thomas Kleymann
1998-10-29Set version tag for new release.David Aspinall
1998-10-28Set version tag for new release.proofgen
1998-10-28Set version tag for new release.proofgen
1998-10-22Set version tag for new release.Thomas Kleymann
1998-10-20Set version tag for new release.David Aspinall
1998-10-15Set version tag for new release.David Aspinall
1998-10-14Set version tag for release.David Aspinall
1998-10-13Set version tag for release.David Aspinall
1998-10-12Set version tag for release.David Aspinall
1998-10-08Better summary lineDavid Aspinall
1998-10-08Added fixup to specfile because dcs.ed has old RPM installed.David Aspinall
1998-10-08Set version tag for release.David Aspinall
1998-10-08Moved from /usr/lib to /usr/shareDavid Aspinall
1998-10-01Adjusted for older rpmDavid Aspinall
1998-09-24Moved info file and binaries to proper places.David Aspinall
1998-09-24Moved to /usr/lib/emacsDavid Aspinall
1998-09-24Added %cleanDavid Aspinall
1998-09-24Removed .orig files after patchDavid Aspinall
1998-09-24For building nice package on Linux.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 10:50:06 +0000