aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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.
1998-10-07Added detection of less than 16 bit colour depth to display 8bitDavid Aspinall
icons. Disabled toolbar for console working.
1998-10-07Munged name of customization variables so that menus display nicely.David Aspinall
Added cust group for proof general internals. Added automatic setting of proof-assistant and customize group, via mode function stubs which load the real elisp files. (This also avoids polluting the load-path too much).
1998-10-07Removed lego-settings defgroup, changed to lego.David Aspinall
Removed {lego,proof}-assistant setting (now automatic) Removed {lego,proof}-global-p settings (proof now allows nil).
1998-10-07Removed coq-settings defgroup, changed to coq.David Aspinall
Defcustom'd coq-prog-name. Removed proof-assistant setting (now automatic) Added FIXME question about proof-shell-init-cmd.
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
1998-10-07Added jpegs to repository for convenience.David Aspinall
1998-10-07Added gif files for reduced color displays.David Aspinall
1998-10-07Added to repository for convenience.David Aspinall
1998-10-07Added for convenience.David Aspinall
1998-10-07Makefile for generating various image formats.David Aspinall
1998-10-07Added to repository for convenience.David Aspinall
1998-10-07Added text logos.David Aspinall
1998-10-07Colorised the general!David Aspinall
1998-10-07Fixed validation errors. Added screenshot page.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 01:31:21 +0000