aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/ProofGeneral.spec
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall1998-11-04
* Set version tag for new release.Gravatar Thomas Kleymann1998-11-03
* Set version tag for new release.Gravatar Thomas Kleymann1998-11-02
* Set version tag for new release.Gravatar Thomas Kleymann1998-10-30
* Set version tag for new release.Gravatar David Aspinall1998-10-29
* Set version tag for new release.Gravatar proofgen1998-10-28
* Set version tag for new release.Gravatar proofgen1998-10-28
* Set version tag for new release.Gravatar Thomas Kleymann1998-10-22
* Set version tag for new release.Gravatar David Aspinall1998-10-20
* Set version tag for new release.Gravatar David Aspinall1998-10-15
* Set version tag for release.Gravatar David Aspinall1998-10-14
* Set version tag for release.Gravatar David Aspinall1998-10-13
* Set version tag for release.Gravatar David Aspinall1998-10-12
* Better summary lineGravatar David Aspinall1998-10-08
* Added fixup to specfile because dcs.ed has old RPM installed.Gravatar David Aspinall1998-10-08
* Set version tag for release.Gravatar David Aspinall1998-10-08
* Moved from /usr/lib to /usr/shareGravatar David Aspinall1998-10-08
* Adjusted for older rpmGravatar David Aspinall1998-10-01
* Moved info file and binaries to proper places.Gravatar David Aspinall1998-09-24
* Moved to /usr/lib/emacsGravatar David Aspinall1998-09-24
* Added %cleanGravatar David Aspinall1998-09-24
* Removed .orig files after patchGravatar David Aspinall1998-09-24
* For building nice package on Linux.Gravatar David Aspinall1998-09-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 18:12:16 +0000