proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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 extra doc strings to hair macro definitions of functions.
*	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
\| \| \| \| \| \|	However, this is faulty: seems to be a race condition somewhere so that refreshing clears the "refresh wanted" flag, but the toolbar suggests that the proof process is busy when it isn't.
*	Whitespace.	David Aspinall	1999-09-22
\|
*	Added find and help buttons. Find does nothing at the moment.	David Aspinall	1999-09-22
\| \| \| \| \|	Added proof-toolbar-refresh to after-change-functions. Makes for a flickery toolbar, unfortunately.
*	Look up and left for context, down and right for state. Are these the right ↵	David Aspinall	1999-09-22
\| \| \| \|	NLP gestures?
*	New buttons	David Aspinall	1999-09-22
\|
*	Updated buttons.	David Aspinall	1999-09-22
\|
*	Comments	David Aspinall	1999-09-22
\|
*	Button name change	David Aspinall	1999-09-22
\|
*	Whitespace	David Aspinall	1999-09-22
\|
*	Changed name of button	David Aspinall	1999-09-22
\|
*	Earlier explanation of what a proof assistant is.	David Aspinall	1999-09-22
\|
*	Updated with new buttons	David Aspinall	1999-09-22
\|
*	Image a bit like show.	David Aspinall	1999-09-22
\|
*	Correct text, still no image.	David Aspinall	1999-09-22
\|
*	Updated	David Aspinall	1999-09-22
\|
*	Clarified font note	David Aspinall	1999-09-22
\|
*	New button icons	David Aspinall	1999-09-22
\|
*	Renamed file	David Aspinall	1999-09-22
\|
*	tuned example according to Isabelle style-guide;	Makarius Wenzel	1999-09-22
\|
*	improved (?) proof-shell-proof-completed-regexp;	Makarius Wenzel	1999-09-22
\|
*	Renamed file	David Aspinall	1999-09-22
\|
*	Set version tag for new release.	David Aspinall	1999-09-21
\|
*	Added cvs update to release target.	David Aspinall	1999-09-21
\|