aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* 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
* removed bra-types and uitp from pre-release messageGravatar Thomas Kleymann1998-10-08
* Moved from /usr/lib to /usr/shareGravatar David Aspinall1998-10-08
* Still bad ('cos release is -kv), removed $ from patch.Gravatar David Aspinall1998-10-07
* Updated for new proof-site.elGravatar David Aspinall1998-10-07
* put isabelle-users address in alphabetic orderGravatar Thomas Kleymann1998-10-02
* Added isabelle-users, mentioned toolbar.Gravatar David Aspinall1998-10-02
* draft for first pre-releaseGravatar Thomas Kleymann1998-10-02
* Fixed for new header in coqtags.Gravatar David Aspinall1998-10-01
* Removed troublesome $Id$ header from .patch file: was gettingGravatar David Aspinall1998-10-01
* Adjusted for older rpmGravatar David Aspinall1998-10-01
* Updated for new path in coqtagsGravatar 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-09 04:43:14 +0000