proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
1998-12-16	Tweaked docstring for C-c C-u.	David Aspinall

1998-12-16	Removed all urgent TODOs for 2.0	David Aspinall

1998-12-16	rationalised keybinding (again)	Thomas Kleymann

1998-12-16	improved default keybindings	Thomas Kleymann

1998-12-16	Removed suspected bug mentioned by David von O. Now assumed to	David Aspinall
	be due to his own hacking of Proof General. Added proof-shell-exit item concerning the time delay built-in.
1998-12-16	Added GPL license (I wrote this at home).	David Aspinall
	Corrected name of Texinfo and other comments.
1998-12-16	added proof-shell-exit test description	Thomas Kleymann

1998-12-16	Fixed default for proof-shell-quit-cmd.	David Aspinall

1998-12-16	documented LEGO specific bug	Thomas Kleymann

1998-12-16	minor changes in the History	Thomas Kleymann

1998-12-16	. clarified history of multiple files	Thomas Kleymann
	. added UITP reference
1998-12-15	Docstring tweak	David Aspinall

1998-12-15	Changed title of Chap 10.	David Aspinall

1998-12-15	Set version tag for new release.	David Aspinall

1998-12-15	Preface: Added David von Oheimb to credits. Mentioned adding multiple files.	David Aspinall

1998-12-15	Updated magic.	David Aspinall

1998-12-15	Used authorized keywords.	David Aspinall

1998-12-15	Docstring fix.	David Aspinall

1998-12-15	Made preface unnumbered. Cosmetic improvements. Updated magic.	David Aspinall

1998-12-15	Docstring fixes	David Aspinall

1998-12-15	Docstring fix	David Aspinall

1998-12-15	credits now at the beginning	Thomas Kleymann

1998-12-15	Another todo idea added. This version sent to Emacs news groups.	David Aspinall

1998-12-15	Idea for magical texi-docstring property for symbols to escape auto markup.	David Aspinall

1998-12-15	Documented markup rules and usage at start of package.	David Aspinall

1998-12-15	Improved documentation of proof-included-files-list.	David Aspinall

1998-12-15	* empty log message *	Thomas Kleymann

1998-12-15	Added ps to make all.	David Aspinall

1998-12-15	Fixed several typos.	David Aspinall
	Added docstring for proof-deactivate-scripting and mentioned it in Chap 10. Removed spurious mention of defunct function proof-restart-scripting.
1998-12-15	Updated magic. Small changes in Chap 11.	David Aspinall

1998-12-15	Added back magic target, handy to force update of magic.	David Aspinall

1998-12-15	Removed done stuff. Added LEGO cd hook todo.	David Aspinall

1998-12-15	radical new version of Credits and References section	Thomas Kleymann

1998-12-15	Fixed broken check on proof-mode-hook.	David Aspinall

1998-12-15	Removed bogus duplicate call of proof-mode-hook at end of proof-config-done.	David Aspinall

1998-12-15	Fixes for FSF Emacs handling of processes, kill buffer hooks,	David Aspinall
	and live/dead overlays.
1998-12-15	made many minor changes to the documentation	Thomas Kleymann

1998-12-14	Altered order of new para and removed some mailing list addrs	David Aspinall

1998-12-14	Another FSF bug found in the new filter functions, this time for script buffer.	David Aspinall

1998-12-14	Gave up on buggy Emacs 19 support, now give error for Emacs 19.	David Aspinall

1998-12-14	Reordered require of cl. Changed deflocal definition.	David Aspinall

1998-12-14	Log of testing results.	David Aspinall

1998-12-14	. modified mailing lists	Thomas Kleymann
	. added further benefit in last section
1998-12-14	rearrange pages automatically	Thomas Kleymann

1998-12-14	fixed bug in lego-shell-adjust-line-width (It now monitors the	Thomas Kleymann
	proof-goals-buffer)
1998-12-14	Added section for UITP/TP researchers, mentioning further possible	David Aspinall
	projects. Added many more mailing list addresses. Not sure what half of them are, need vetting really.
1998-12-11	Set version tag for new release.	David Aspinall

1998-12-11	More comments about multiple file problems	David Aspinall

1998-12-11	Disabled hack for proof-shell-process-file which allowed	David Aspinall
	empty string to stand for filename of current scripting buffer. This added the current script buffer onto the included files list immediately processing it began (if it began with something creating a mark). However, I removed the check for the current scripting buffer so that that could correctly be marked atomic for Isabelle at other times. This resulted in current buffer being marked atomic, and errors. Are there still more errors?
1998-12-11	Comments	David Aspinall