proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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
*	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
*	Docstrings	David Aspinall	1999-09-23
*	Added menu binding for finding theorems.	David Aspinall	1999-09-23
*	Added doc for proof-find-theorems	David Aspinall	1999-09-23
*	Set proof-find-theorems-command	David Aspinall	1999-09-23
*	Set version tag for new release.	David Aspinall	1999-09-23
*	Added proof-find-theorems and some hairy macros to define related commands.	David Aspinall	1999-09-23
*	Added implementation of proof-toolbar-find	David Aspinall	1999-09-23
*	Trivial.	David Aspinall	1999-09-23
*	Updated	David Aspinall	1999-09-23
*	Added setting for proof-find-theorems-command.	David Aspinall	1999-09-23
*	Added proof-find-theorems-command setting.	David Aspinall	1999-09-23
*	Fixed up date order.	David Aspinall	1999-09-23
*	updated (make magic);	Makarius Wenzel	1999-09-22
*	Set version tag for new release.	David Aspinall	1999-09-22
*	Added item about Giens	David Aspinall	1999-09-22
*	Docstrings	David Aspinall	1999-09-22
*	proof-completed-regexp: match number 1 is response text;	Makarius Wenzel	1999-09-22
*	Bug in command button for toolbar.	David Aspinall	1999-09-22
*	Added interval timer to reduce flickeriness of refresh.	David Aspinall	1999-09-22
*	Whitespace.	David Aspinall	1999-09-22
*	Added find and help buttons. Find does nothing at the moment.	David Aspinall	1999-09-22