aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
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
Removed isabelle-settings defcustom, renamed to isabelle-. Renamed some customization variables isabelle-* for nice display in menus. Removed proof-assistant setting. Removed proof-global-p and isa-global-p. Renamed isa-thy-mode to thy-mode.
1998-10-07Renamed isa-thy-* to thy-*David Aspinall
1998-10-07Added more documentation.David Aspinall
Made new proof-config customization group for variables supposed to be configured by prover specific settings (as opposed to user options, which are set by users). This adds type information and useful facility for testing new instances of PG. Similarly added proof-shell customization group. Removed (what I assume to be) defunct variables proof-post-shell-exit-hook, proof-shell-echo-input. Made deflocal do 'setq-default', not 'setq'. (I consider this a bugfix, but no calls to deflocal use other than nil value anyway, so this bug had no effect.) Added code for displaying splash screen. Attempted fix for proof-issue-new-command when process inactive. Improved functions proof-script-new-command-advance, proof-script-next-command-advance, called from proof-assert-next-command.
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 08:26:29 +0000