proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Admin changes for version 2.2.	David Aspinall	1999-10-06
*	proof-try-command is deprecated	David Aspinall	1999-10-06
*	Updates.	David Aspinall	1999-10-06
*	thy mode binding made to match with script mode	David Aspinall	1999-10-06
*	Added proof-retract-buffer symmetric to proof-process-buffer.	David Aspinall	1999-10-06
*	isar-keywords-proof-asm-goal;	Makarius Wenzel	1999-10-01
*	Fixup name changes	David Aspinall	1999-10-01
*	Set version tag for new release.	David Aspinall	1999-10-01
*	Renamed some configuration variables for uniformity, see CHANGES.	David Aspinall	1999-10-01
*	Removed dubious 'dont own process' error in proof-interrupt-process.	David Aspinall	1999-10-01
*	Added interrupt button to toolbar	David Aspinall	1999-10-01
*	Added interrupt button.	David Aspinall	1999-10-01
*	No attempt to update BUGS section of manual	David Aspinall	1999-10-01
*	Fix bug for proof-shell-leave-annotations-in-output.	David Aspinall	1999-10-01
*	Fix toolbar in wrong buffer bug; delete defunct itimers.	David Aspinall	1999-10-01
*	Disable proof-help-string, was set to an invalid command.	David Aspinall	1999-10-01
*	Minor changes to introduction.	David Aspinall	1999-10-01
*	Bug about cut-and-paste from highlighted Isabelle goals.	David Aspinall	1999-10-01
*	News for 1st October.	David Aspinall	1999-09-30
*	Set version tag for new release.	David Aspinall	1999-09-30
*	Automatically updated ChangeLog when making devel release	David Aspinall	1999-09-30
*	Added icons.	David Aspinall	1999-09-30
*	Mentioned and linked ChangeLog file.	David Aspinall	1999-09-30
*	Added comments about using enriched mode or similar for prover output markup.	David Aspinall	1999-09-30
*	replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1;	Makarius Wenzel	1999-09-30
*	proof-find-theorems-command "thms_containing %s;";	Makarius Wenzel	1999-09-30
*	make magic;	Makarius Wenzel	1999-09-30
*	replaced isa-output-font-lock-terms by isa-output-font-lock-keywords-1;	Makarius Wenzel	1999-09-30
*	tuned isa-init-output-syntax-table;	Makarius Wenzel	1999-09-30
*	Set version tag for new release.	David Aspinall	1999-09-29
*	Enabled hack for proof-shell-leave-annotations-in-output	David Aspinall	1999-09-29
*	Unhappily added proof-shell-leave-annotations-in-output hack.	David Aspinall	1999-09-29
*	bug when prover gives error from proof-find (or similar).	David Aspinall	1999-09-29
*	Added proof-script-command-separator. Removed duplicated proof-strict-read-o...	David Aspinall	1999-09-29
*	Grammar.	David Aspinall	1999-09-29
*	Updated.	David Aspinall	1999-09-29
*	Extended documentation for proof-shell-restart.	David Aspinall	1999-09-29
*	Menu name.	David Aspinall	1999-09-29
*	Fixes so that proof-strict-read-only can be toggled within a session (via res...	David Aspinall	1999-09-29
*	Re-enabled proof-by-pointing for testing purposes only. Fixed a bug.	David Aspinall	1999-09-29
*	proof-mouse-track-insert only seems to work on XEmacs	David Aspinall	1999-09-29
*	Mentioned proof-mouse-track-insert.	David Aspinall	1999-09-29
*	Changed name of proof-copy-span to proof-mouse-track-insert.	David Aspinall	1999-09-29
*	Added proof-script-command-separator. Needs work.	David Aspinall	1999-09-29
*	Improved proof-copy-span and renamed to proof-mouse-track-insert.	David Aspinall	1999-09-29
*	Putative enhancements mentioned.	David Aspinall	1999-09-29
*	Updated.	David Aspinall	1999-09-29
*	Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to C-bu...	David Aspinall	1999-09-29
*	Updated	David Aspinall	1999-09-28
*	More reorganizing of menus and keybindings with aim of usability in mind.	David Aspinall	1999-09-28