proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	No longer needed.	David Aspinall	1998-10-09
\|
*	After having spent more than a day on implementing a package for	Thomas Kleymann	1998-10-09
\| \| \| \| \| \| \|	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.
*	Validator fix	David Aspinall	1998-10-08
\|
*	Better summary line	David Aspinall	1998-10-08
\|
*	Added untag target for rebuilding on same day.	David Aspinall	1998-10-08
\|
*	Validator fixes	David Aspinall	1998-10-08
\|
*	Fixed Validator URLs	David Aspinall	1998-10-08
\|
*	Changed 'ln -sf' to 'rm ; ln' because link got put into directory.	David Aspinall	1998-10-08
\|
*	Added fixup to specfile because dcs.ed has old RPM installed.	David Aspinall	1998-10-08
\|
*	Now edits full version of name of release in download.html	David Aspinall	1998-10-08
\|
*	Set version tag for release.	David Aspinall	1998-10-08
\|
*	Fixed typo.	David Aspinall	1998-10-08
\|
*	Added auto checking for Proofgeneral.spec.	David Aspinall	1998-10-08
\|
*	Removed hyphen from prerelease name.	David Aspinall	1998-10-08
\|
*	Made full prerelease name be name of tar file and RPM file.	David Aspinall	1998-10-08
\|
*	Changed binding for C-c RET	David Aspinall	1998-10-08
\|
*	Added SUPERSONIC category, investigated proof-assert-until-point.	David Aspinall	1998-10-08
\|
*	* empty log message *	Thomas Kleymann	1998-10-08
\|
*	Removed check distribution item. Added Isabelle fix.	David Aspinall	1998-10-08
\|
*	removed bra-types and uitp from pre-release message	Thomas Kleymann	1998-10-08
\|
*	Removed images/Makefile from distrib.	David Aspinall	1998-10-08
\|
*	Moved from /usr/lib to /usr/share	David Aspinall	1998-10-08
\|
*	Removed mysterious @ignores around info dir entry.	David Aspinall	1998-10-08
\|
*	Still bad ('cos release is -kv), removed $ from patch.	David Aspinall	1998-10-07
\|
*	Updated for new proof-site.el	David Aspinall	1998-10-07
\|
*	Disabeled remote release	David Aspinall	1998-10-07
\|
*	Removed ssh.dcs.ed.ac.uk from remote release.	David Aspinall	1998-10-07
\|
*	Removed CVS binary item	David Aspinall	1998-10-07
\|
*	Fixup branch	David Aspinall	1998-10-07
\|
*	Fixup branch.	David Aspinall	1998-10-07
\|
*	Added distclean target	David Aspinall	1998-10-07
\|
*	Adjusted so make clean gives clean output from cvs update.	David Aspinall	1998-10-07
\|
*	Disabled tags support for Isabelle.	David Aspinall	1998-10-07
\| \| \| \| \| \| \| \|	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.
*	Renamed isa-thy-* to thy-*	David Aspinall	1998-10-07
\|
*	Added more documentation.	David Aspinall	1998-10-07
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	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.
*	Added detection of less than 16 bit colour depth to display 8bit	David Aspinall	1998-10-07
\| \| \| \| \|	icons. Disabled toolbar for console working.
*	Munged name of customization variables so that menus display nicely.	David Aspinall	1998-10-07
\| \| \| \| \| \| \|	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).
*	Removed lego-settings defgroup, changed to lego.	David Aspinall	1998-10-07
\| \| \| \| \|	Removed {lego,proof}-assistant setting (now automatic) Removed {lego,proof}-global-p settings (proof now allows nil).
*	Removed coq-settings defgroup, changed to coq.	David Aspinall	1998-10-07
\| \| \| \| \| \|	Defcustom'd coq-prog-name. Removed proof-assistant setting (now automatic) Added FIXME question about proof-shell-init-cmd.
*	Added 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-07
\|
*	Added some notes for Isabelle	David Aspinall	1998-10-07
\|
*	Removed some.	David Aspinall	1998-10-07
\|
*	Rearranged a bit, added some, removed some.	David Aspinall	1998-10-07
\|
*	Found some more...	David Aspinall	1998-10-07
\|
*	Added cvsclean back	David Aspinall	1998-10-07
\|
*	GIMP Script Fu for batch generating images.	David Aspinall	1998-10-07
\|
*	Added jpegs to repository for convenience.	David Aspinall	1998-10-07
\|
*	Added gif files for reduced color displays.	David Aspinall	1998-10-07
\|
*	Added to repository for convenience.	David Aspinall	1998-10-07
\|