proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\| \| \| \| \|	proof-shell-leave-annotations-in-output t; replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1;
*	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
\| \| \| \| \| \|	removed isa-binder-regexp (obsolete); remove isa-font-lock-terms; proper isa-output-font-lock-keywords-1;
*	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 ↵	David Aspinall	1999-09-29
\| \| \| \|	proof-strict-read-only.
*	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 ↵	David Aspinall	1999-09-29
\| \| \| \|	restart).
*	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
\| \| \| \| \|	Now will insert into any buffer at point, or behave as mouse-track-insert when called over a non-span (or non-vanilla command span).
*	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 ↵	David Aspinall	1999-09-29
\| \| \| \|	C-button1
*	Updated	David Aspinall	1999-09-28
\|
*	More reorganizing of menus and keybindings with aim of usability in mind.	David Aspinall	1999-09-28
\|
*	Updated	David Aspinall	1999-09-28
\|
*	Reorganization of menus: made a single menu but flattened Scripting submenu.	David Aspinall	1999-09-28
\|
*	Fix for FSF: it should load proof-toolbar too.	David Aspinall	1999-09-28
\|
*	Made Scripting menu entry item on menubar.	David Aspinall	1999-09-28
\|
*	Longer menu names, allowed some toolbar items to be omitted from menu.	David Aspinall	1999-09-28
\|
*	Note about syntax	David Aspinall	1999-09-28
\|
*	Set version tag for new release.	David Aspinall	1999-09-28
\|
*	Set version tag for new release.	David Aspinall	1999-09-27
\|
*	Changed button order.	David Aspinall	1999-09-27
\|
*	added isar-verbatim;	Makarius Wenzel	1999-09-26
\|
*	added thms_containing, ML_setup;	Makarius Wenzel	1999-09-26
\|
*	proof-shell-proof-completed-regexp nil;	Makarius Wenzel	1999-09-25
\|
*	Isabelle term / type hiliting;	Makarius Wenzel	1999-09-24
\|
*	tuned;	Makarius Wenzel	1999-09-24
\|
*	unified example with other proof assistants;	Makarius Wenzel	1999-09-24
\|
*	Added names of helpful people at summer shcool	David Aspinall	1999-09-24
\|
*	Updated	David Aspinall	1999-09-24
\|
*	Updated	David Aspinall	1999-09-23
\|