aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* Fixed multiple file bugGravatar David Aspinall1998-11-03
* Set version tag for new release.Gravatar Thomas Kleymann1998-11-03
* A* Fix display handling problems (tms, all week)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
* More notesGravatar David Aspinall1998-10-29
* Set version tag for new release.Gravatar David Aspinall1998-10-29
* Ran tests for Isabelle. Added another test case.Gravatar David Aspinall1998-10-29
* More hacks to variable names for customize (sorry)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
* Added new case of retracting across file boundaries to a buffer withGravatar Thomas Kleymann1998-10-23
* no futher instructions in share-site-startup neededGravatar Thomas Kleymann1998-10-23
* Set version tag for new release.Gravatar Thomas Kleymann1998-10-22
* modified local installation procedureGravatar Thomas Kleymann1998-10-21
* Set version tag for new release.Gravatar David Aspinall1998-10-20
* Miscellaneous notes (how to create screen dump)Gravatar David Aspinall1998-10-20
* Filename commentGravatar David Aspinall1998-10-20
* support environmental variable PROOFGENERALGravatar Thomas Kleymann1998-10-19
* Test files for handling multiple files with IsabelleGravatar David Aspinall1998-10-19
* Description of dir contentsGravatar David Aspinall1998-10-19
* support for nested goals is now restricted to CoqGravatar Thomas Kleymann1998-10-18
* *** empty log message ***Gravatar Thomas Kleymann1998-10-18
* Set version tag for new release.Gravatar David Aspinall1998-10-15
* Set version tag for release.Gravatar David Aspinall1998-10-14
* Updated to posted versionGravatar David Aspinall1998-10-13
* 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
* 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 01:36:57 +0000