aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1998-10-09Changed banner to use gif files for text.David Aspinall
1998-10-09Changed banner to use gif files for text.David Aspinall
1998-10-09Deleted files.David Aspinall
1998-10-09No longer needed.David Aspinall
1998-10-09After having spent more than a day on implementing a package forThomas Kleymann
1998-10-08Validator fixDavid Aspinall
1998-10-08Better summary lineDavid Aspinall
1998-10-08Added untag target for rebuilding on same day.David Aspinall
1998-10-08Validator fixesDavid Aspinall
1998-10-08Fixed Validator URLsDavid Aspinall
1998-10-08Changed 'ln -sf' to 'rm ; ln' because link got put into directory.David Aspinall
1998-10-08Added fixup to specfile because dcs.ed has old RPM installed.David Aspinall
1998-10-08Now edits full version of name of release in download.htmlDavid Aspinall
1998-10-08Set version tag for release.David Aspinall
1998-10-08Fixed typo.David Aspinall
1998-10-08Added auto checking for Proofgeneral.spec.David Aspinall
1998-10-08Removed hyphen from prerelease name.David Aspinall
1998-10-08Made full prerelease name be name of tar file and RPM file.David Aspinall
1998-10-08Changed binding for C-c RETDavid Aspinall
1998-10-08Added SUPERSONIC category, investigated proof-assert-until-point.David Aspinall
1998-10-08*** empty log message ***Thomas Kleymann
1998-10-08Removed check distribution item. Added Isabelle fix.David Aspinall
1998-10-08removed bra-types and uitp from pre-release messageThomas Kleymann
1998-10-08Removed images/Makefile from distrib.David Aspinall
1998-10-08Moved from /usr/lib to /usr/shareDavid Aspinall
1998-10-08Removed mysterious @ignores around info dir entry.David 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-07Disabeled remote releaseDavid Aspinall
1998-10-07Removed ssh.dcs.ed.ac.uk from remote release.David Aspinall
1998-10-07Removed CVS binary itemDavid Aspinall
1998-10-07Fixup branchDavid Aspinall
1998-10-07Fixup branch.David Aspinall
1998-10-07Added distclean targetDavid Aspinall
1998-10-07Adjusted so make clean gives clean output from cvs update.David Aspinall
1998-10-07Disabled tags support for Isabelle.David Aspinall
1998-10-07Renamed isa-thy-* to thy-*David Aspinall
1998-10-07Added more documentation.David Aspinall
1998-10-07Added detection of less than 16 bit colour depth to display 8bitDavid Aspinall
1998-10-07Munged name of customization variables so that menus display nicely.David Aspinall
1998-10-07Removed lego-settings defgroup, changed to lego.David Aspinall
1998-10-07Removed coq-settings defgroup, changed to coq.David Aspinall
1998-10-07Added text logos. Menu now appears in screenshot.David Aspinall
1998-10-07 New file to give users/co-developers a chance to see what we have planned.David Aspinall
1998-10-07Added some notes for IsabelleDavid Aspinall
1998-10-07Removed some.David Aspinall
1998-10-07Rearranged a bit, added some, removed some.David Aspinall
1998-10-07Found some more...David Aspinall
1998-10-07Added cvsclean backDavid Aspinall
1998-10-07GIMP Script Fu for batch generating images.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-23 01:18:07 +0000