aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
1998-11-26Set version tag for new release.David Aspinall
1998-11-25Updated patchDavid Aspinall
1998-11-25Set version tag for new release.David Aspinall
1998-11-25Added mention of user documentation.David Aspinall
1998-11-25UpdatedDavid Aspinall
1998-11-25Emacs lovers become militant.David Aspinall
1998-11-20Set version tag for new release.David Aspinall
1998-11-18Changes for better testingDavid Aspinall
1998-11-10Set version tag for new release.David Aspinall
1998-11-10Changed text ready for 2.0 releaseDavid Aspinall
1998-11-04Set version tag for new release.David Aspinall
1998-11-03Fixed multiple file bugDavid Aspinall
1998-11-03Set version tag for new release.Thomas Kleymann
1998-11-03A* Fix display handling problems (tms, all week)Thomas Kleymann
1998-11-02Set version tag for new release.Thomas Kleymann
1998-10-30Set version tag for new release.Thomas Kleymann
1998-10-29More notesDavid Aspinall
1998-10-29Set version tag for new release.David Aspinall
1998-10-29Ran tests for Isabelle. Added another test case.David Aspinall
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-28Set version tag for new release.proofgen
1998-10-28Set version tag for new release.proofgen
1998-10-23Added new case of retracting across file boundaries to a buffer withThomas Kleymann
1998-10-23no futher instructions in share-site-startup neededThomas Kleymann
1998-10-22Set version tag for new release.Thomas Kleymann
1998-10-21modified local installation procedureThomas Kleymann
1998-10-20Set version tag for new release.David Aspinall
1998-10-20Miscellaneous notes (how to create screen dump)David Aspinall
1998-10-20Filename commentDavid Aspinall
1998-10-19support environmental variable PROOFGENERALThomas Kleymann
1998-10-19Test files for handling multiple files with IsabelleDavid Aspinall
1998-10-19Description of dir contentsDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 08:26:00 +0000