proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Trim dups	David Aspinall	2001-09-03
\|
*	Add author	David Aspinall	2001-09-03
\|
*	Updated	David Aspinall	2001-09-03
\|
*	Accidental commit; revert to original.	David Aspinall	2001-09-03
\|
*	Set proof-goal-with-hole-regexp	David Aspinall	2001-09-03
\|
*	Change colour of locked region.	David Aspinall	2001-09-03
\|
*	Fix bracket bug.	David Aspinall	2001-09-03
\|
*	Show/hide all proofs: add redisplay for FSF	David Aspinall	2001-09-03
\| \| \| \| \| \|	Use new functions pg-set-span-helphighlights and pg-span-name to set help echo, balloon help, mouse highlight, and context menu.
*	Use pg-set-span-helphightlights for unhighlighting.	David Aspinall	2001-09-03
\|
*	Generalise context menu for other spans; grey out show/hide when unavailable.	David Aspinall	2001-09-03
\|
*	Join paras	David Aspinall	2001-09-03
\|
*	Updated.	David Aspinall	2001-09-03
\|
*	Text	David Aspinall	2001-09-03
\|
*	Fix link to screenshot	David Aspinall	2001-09-03
\|
*	Improve layout	David Aspinall	2001-09-03
\|
*	Update version numbers, time stamps.	David Aspinall	2001-09-03
\|
*	Typo. Update Emacs version to 20.7.	David Aspinall	2001-09-03
\|
*	Updated.	David Aspinall	2001-09-03
\|
*	Update branch	David Aspinall	2001-09-03
\|
*	PHP file	David Aspinall	2001-09-03
\|
*	Renamed file	David Aspinall	2001-09-03
\|
*	Set version tag for new release.	David Aspinall	2001-09-03
\|
*	Please try devel version	David Aspinall	2001-09-03
\|
*	Accidental update; revert to previous	David Aspinall	2001-09-03
\|
*	Rearrange	David Aspinall	2001-09-03
\|
*	Updating branch	David Aspinall	2001-09-03
\|
*	Note of what to do	David Aspinall	2001-09-03
\|
*	Formatting	David Aspinall	2001-09-03
\|
*	Mention hiding proofs.	David Aspinall	2001-09-03
\|
*	Add specific READMEs.	David Aspinall	2001-09-03
\|
*	Note of secure alt to no password	David Aspinall	2001-09-03
\|
*	Ready for release	David Aspinall	2001-09-03
\|
*	Update for 3.3	David Aspinall	2001-09-03
\|
*	Add specific install instrs, rearrange.	David Aspinall	2001-09-03
\|
*	Move specific install instructions into subdirs	David Aspinall	2001-09-03
\|
*	Add settings for testing trace buffers.	David Aspinall	2001-09-03
\|
*	Note about tracing buffers for developers	David Aspinall	2001-09-03
\|
*	Added handling of tracing buffers using proof-shell-spill-output-regexp.	David Aspinall	2001-09-03
\|
*	Added proof-shell-spill-output-regexp	David Aspinall	2001-09-03
\|
*	Updated.	David Aspinall	2001-09-02
\|
*	Set version tag for new release.	David Aspinall	2001-09-02
\|
*	handle relative heap paths gracefully;	Makarius Wenzel	2001-08-31
\|
*	back to official Isabelle99-2 (later Isabelle dists will provide	Makarius Wenzel	2001-08-31
\| \| \| \|	their own copy of this file);
*	Improved explanation	David Aspinall	2001-08-31
\|
*	Something about dependencies feature	David Aspinall	2001-08-31
\|
*	Added note about dependency feature.	David Aspinall	2001-08-31
\|
*	(Almost) complete rewrite	David Aspinall	2001-08-31
\|
*	Updated	David Aspinall	2001-08-31
\|
*	Move theorem dependency code into proof-depends.el.	David Aspinall	2001-08-31
\| \| \| \| \| \| \|	Added 'controlspan property to proof body spans: action will be controlled from the control span. (The 'goalsave is the parent). Replace 'highlight face with 'proof-mouse-highlight-face throughout.
*	Added copy command, call to dependency menu if proof-depends is loaded.	David Aspinall	2001-08-31
\|