aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
1998-10-18support for nested goals is now restricted to CoqThomas Kleymann
1998-10-18*** empty log message ***Thomas Kleymann
1998-10-15Set version tag for new release.David Aspinall
1998-10-14Set version tag for release.David Aspinall
1998-10-13Updated to posted versionDavid 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-08removed bra-types and uitp from pre-release messageThomas Kleymann
1998-10-08Moved from /usr/lib to /usr/shareDavid Aspinall
1998-10-07Still bad ('cos release is -kv), removed $ from patch.David Aspinall
1998-10-07Updated for new proof-site.elDavid Aspinall
1998-10-02put isabelle-users address in alphabetic orderThomas Kleymann
1998-10-02Added isabelle-users, mentioned toolbar.David Aspinall
1998-10-02draft for first pre-releaseThomas Kleymann
1998-10-01Fixed for new header in coqtags.David Aspinall
1998-10-01Removed troublesome $Id$ header from .patch file: was gettingDavid Aspinall
1998-10-01Adjusted for older rpmDavid Aspinall
1998-10-01Updated for new path in coqtagsDavid 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-01 05:57:42 +0000