aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
1998-10-12Splash screen tries gif if jpeg not available. Using hack by tmsDavid Aspinall
1998-10-12Fixed typo.David Aspinall
1998-10-12Important regular expression fixes:David Aspinall
-error-regexp doesn't match warnings now. -annotated-prompt-regexp doesn't match warnings now, and is different from -prompt-regexp.
1998-10-12Doc stringsDavid Aspinall
1998-10-12Toolbar featurep. Separate Internals menu. Doc strings.David Aspinall
1998-10-12Removed proof-internal cus grp from proof group.David Aspinall
1998-10-12added note about Emacs versionsDavid Aspinall
1998-10-12Customize also works in FSFmacs nowDavid Aspinall
1998-10-12Removed proof-shell-error-regexp's match on warnings -- wrong!David Aspinall
1998-10-12Reordered some X'sDavid Aspinall
1998-10-09Customize group name: prover-config, not proof-config.David Aspinall
1998-10-09Minor bug fixes, code, doc improvements.David Aspinall
1998-10-09Addded todo for proof-quit-command. Doc string noteDavid Aspinall
1998-10-09Added todos for: rsh, multi file failure, multi file in Isabelle, splash.David Aspinall
1998-10-09Added todos for: rsh, multi file failure, multi file in Isabelle, splash.David Aspinall
1998-10-09Fixed branch.David Aspinall
1998-10-09Added so-called 8bit gifs with reduced colours.David Aspinall
1998-10-09Changed to build gif files for text logo.David Aspinall
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
directed graphs, a five minute discussion with Dave has led to a revised specification for handling multiple files. This should be easier to implement and more efficient. Directed graphs are no longer required.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-13 15:40:17 +0000