aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* No longer needed.Gravatar David Aspinall1998-10-09
* After having spent more than a day on implementing a package forGravatar Thomas Kleymann1998-10-09
* Validator fixGravatar David Aspinall1998-10-08
* Better summary lineGravatar David Aspinall1998-10-08
* Added untag target for rebuilding on same day.Gravatar David Aspinall1998-10-08
* Validator fixesGravatar David Aspinall1998-10-08
* Fixed Validator URLsGravatar David Aspinall1998-10-08
* Changed 'ln -sf' to 'rm ; ln' because link got put into directory.Gravatar David Aspinall1998-10-08
* Added fixup to specfile because dcs.ed has old RPM installed.Gravatar David Aspinall1998-10-08
* Now edits full version of name of release in download.htmlGravatar David Aspinall1998-10-08
* Set version tag for release.Gravatar David Aspinall1998-10-08
* Fixed typo.Gravatar David Aspinall1998-10-08
* Added auto checking for Proofgeneral.spec.Gravatar David Aspinall1998-10-08
* Removed hyphen from prerelease name.Gravatar David Aspinall1998-10-08
* Made full prerelease name be name of tar file and RPM file.Gravatar David Aspinall1998-10-08
* Changed binding for C-c RETGravatar David Aspinall1998-10-08
* Added SUPERSONIC category, investigated proof-assert-until-point.Gravatar David Aspinall1998-10-08
* *** empty log message ***Gravatar Thomas Kleymann1998-10-08
* Removed check distribution item. Added Isabelle fix.Gravatar David Aspinall1998-10-08
* removed bra-types and uitp from pre-release messageGravatar Thomas Kleymann1998-10-08
* Removed images/Makefile from distrib.Gravatar David Aspinall1998-10-08
* Moved from /usr/lib to /usr/shareGravatar David Aspinall1998-10-08
* Removed mysterious @ignores around info dir entry.Gravatar 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
* Disabeled remote releaseGravatar David Aspinall1998-10-07
* Removed ssh.dcs.ed.ac.uk from remote release.Gravatar David Aspinall1998-10-07
* Removed CVS binary itemGravatar David Aspinall1998-10-07
* Fixup branchGravatar David Aspinall1998-10-07
* Fixup branch.Gravatar David Aspinall1998-10-07
* Added distclean targetGravatar David Aspinall1998-10-07
* Adjusted so make clean gives clean output from cvs update.Gravatar David Aspinall1998-10-07
* Disabled tags support for Isabelle.Gravatar David Aspinall1998-10-07
* Renamed isa-thy-* to thy-*Gravatar David Aspinall1998-10-07
* Added more documentation.Gravatar David Aspinall1998-10-07
* Added detection of less than 16 bit colour depth to display 8bitGravatar David Aspinall1998-10-07
* Munged name of customization variables so that menus display nicely.Gravatar David Aspinall1998-10-07
* Removed lego-settings defgroup, changed to lego.Gravatar David Aspinall1998-10-07
* Removed coq-settings defgroup, changed to coq.Gravatar David Aspinall1998-10-07
* Added text logos. Menu now appears in screenshot.Gravatar David Aspinall1998-10-07
* New file to give users/co-developers a chance to see what we have planned.Gravatar David Aspinall1998-10-07
* Added some notes for IsabelleGravatar David Aspinall1998-10-07
* Removed some.Gravatar David Aspinall1998-10-07
* Rearranged a bit, added some, removed some.Gravatar David Aspinall1998-10-07
* Found some more...Gravatar David Aspinall1998-10-07
* Added cvsclean backGravatar David Aspinall1998-10-07
* GIMP Script Fu for batch generating images.Gravatar David Aspinall1998-10-07
* Added jpegs to repository for convenience.Gravatar David Aspinall1998-10-07
* Added gif files for reduced color displays.Gravatar David Aspinall1998-10-07
* Added to repository for convenience.Gravatar David Aspinall1998-10-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 02:42:18 +0000