proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Re-enable toolbar commands on main menu; add home icon	David Aspinall	2009-08-07
\|
*	Rename lockedend -> home	David Aspinall	2009-08-07
\|
*	proof-colour-locked: complete implementation	David Aspinall	2009-08-07
\|
*	rename: proof-full-decoration -> proof-full-annotation	David Aspinall	2009-08-07
\|
*	rename: proof-full-decoration -> proof-full-annotation	David Aspinall	2009-08-07
\|
*	Name changes and tweaks: proof-full-decoration -> proof-full-decoration,	David Aspinall	2009-08-07
\| \| \| \|	proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-command.
*	Prevent setting of proof-overlay-arrow if not configured	David Aspinall	2009-08-06
\|
*	New configuration variable proof-use-pgip-askprefs. Use setting group names ↵	David Aspinall	2009-08-06
\| \| \| \|	in menu
*	Add overlay arrow ported from Kit.	David Aspinall	2009-07-30
\|
*	Add proof-colour-locked option to leave locked region background uncoloured.	David Aspinall	2009-07-30
\|
*	Update autoloads	David Aspinall	2009-07-30
\|
*	Use descriptions of help items to set menu tooltips (resolve trac #218)	David Aspinall	2009-07-30
\|
*	Cleanup more Emacs compatibility	David Aspinall	2009-05-27
\|
*	Check unicode-tokens-mode is bound	David Aspinall	2009-05-27
\|
*	Add proof state hover messages to proof script, along with useful customization.	David Aspinall	2009-05-26
\|
*	Set version tag for new release.	David Aspinall	2009-05-26
\|
*	proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obey	David Aspinall	2009-05-26
\| \| \| \|	proof-follow-mode=ignore. Ref http://proofgeneral.inf.ed.ac.uk/trac/ticket/187
*	Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor ↵	David Aspinall	2009-05-26
\| \| \| \|	cleanups
*	Add proof-electric-terminator-noterminator behaviour for Isar	David Aspinall	2009-05-26
\|
*	Revive sendback behaviour (using button1)	David Aspinall	2009-05-26
\|
*	Set default value for `buffer-invisibility-spec'	David Aspinall	2009-05-25
\|
*	Set version tag for new release.	David Aspinall	2009-04-16
\|
*	recovered proof-shell-process-urgent-message, by re-introducing ↵	Makarius Wenzel	2009-03-31
\| \| \| \|	commented-out parenthesis and refreshing formerly unreachable cases;
*	Set version tag for new release.	David Aspinall	2008-12-05
\|
*	Set version tag for new release.	David Aspinall	2008-09-19
\|
*	Comment	David Aspinall	2008-08-06
\|
*	Fix type in calls to toggle functions	David Aspinall	2008-08-03
\|
*	Disable subterm markup removal	David Aspinall	2008-08-03
\|
*	pg-response-display: disable subterm markup removal	David Aspinall	2008-08-03
\|
*	Add links to splash menu	David Aspinall	2008-08-03
\|
*	Make proof-locked-face much lighter	David Aspinall	2008-08-03
\|
*	Change for locked face colour	David Aspinall	2008-08-03
\|
*	Fix for deferred loading of maths menu.	David Aspinall	2008-07-24
\|
*	Fix for deferred loading of maths menu and unicode tokens.	David Aspinall	2008-07-24
\|
*	Add back lost provide	David Aspinall	2008-07-24
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Set version tag for new release.	David Aspinall	2008-07-24
\|
*	Load proof-autoloads earlier	David Aspinall	2008-07-24
\|
*	Set version tag for new release.	David Aspinall	2008-07-23
\|
*	Set version tag for new release.	David Aspinall	2008-07-22
\|
*	proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs,	David Aspinall	2008-07-21
\| \| \| \|	with improvement due to Stefan Monnier. No change for XEmacs.
*	Changed the main menu of coq. Changed a shortcut for holes.	Pierre Courtieu	2008-07-21
\|
*	Default proof-allow-undo-in-read-only to t	David Aspinall	2008-07-21
\|
*	Set version tag for new release.	David Aspinall	2008-07-19
\|
*	Set version tag for new release.	David Aspinall	2008-07-17
\|
*	Remove mention of unicode-tokens2	David Aspinall	2008-07-16
\|
*	Deleted file	David Aspinall	2008-07-16
\|
*	Set version tag for new release.	David Aspinall	2008-07-12
\|
*	Updated.	David Aspinall	2008-07-12
\|
*	Disable Unicode Tokens 2	David Aspinall	2008-07-10
\|