proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Todo	David Aspinall	2001-09-05
\|
*	Updated	David Aspinall	2001-09-05
\|
*	Add keybindings for new commands for moving/navigating spans.	David Aspinall	2001-09-05
\|
*	Fix problem with C-x C-v by copying buffer-file-name. Add children property ↵	David Aspinall	2001-09-05
\| \| \| \|	to control spans.
*	Improved span moving and navigation commands.	David Aspinall	2001-09-05
\|
*	tuned proof text;	Makarius Wenzel	2001-09-04
\| \| \| \|	added script version;
*	added option -P: actually start Proof General (default true);	Makarius Wenzel	2001-09-04
\|
*	Updated.	David Aspinall	2001-09-04
\|
*	Set version tag for new release.	David Aspinall	2001-09-04
\|
*	Issue parsing messages	David Aspinall	2001-09-04
\|
*	Add commands to move spans up/down. Enable features only if experimental ↵	David Aspinall	2001-09-04
\| \| \| \|	flag set
*	Nested proof spans are duplicable	David Aspinall	2001-09-04
\|
*	Add experimental features setting	David Aspinall	2001-09-04
\|
*	Delete rogue elcs	David Aspinall	2001-09-04
\|
*	Updates	David Aspinall	2001-09-04
\|
*	tuned;	Makarius Wenzel	2001-09-04
\|
*	no need to adjust the path to bash on the first line (due to /usr/bin/env);	Makarius Wenzel	2001-09-04
\|
*	Updated.	David Aspinall	2001-09-03
\|
*	Text	David Aspinall	2001-09-03
\|
*	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
\|