proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Add hint triggered when processing complete	David Aspinall	2003-05-24
\|
*	Switch order of buffers displayed by C-c C-l. Add hint.	David Aspinall	2003-05-24
\|
*	Tweak to shrink-to-fit	David Aspinall	2003-05-24
\|
*	Added hint mechanism	David Aspinall	2003-05-24
\|
*	Do not display empty responses	David Aspinall	2003-05-24
\|
*	Add pg-show-hints	David Aspinall	2003-05-24
\|
*	Add a location under HOME to search path for isatool	David Aspinall	2003-05-23
\|
*	Updated.	David Aspinall	2003-05-23
\|
*	Improved version of shrink-to-fit (still problematic)	David Aspinall	2003-05-23
\|
*	Updated.	David Aspinall	2003-05-23
\|
*	Set version tag for new release.	David Aspinall	2003-05-23
\|
*	Fix from Gerwin to repair grouping	David Aspinall	2003-05-23
\|
*	Comments	David Aspinall	2003-05-21
\|
*	Add option menu item for dectivate scripting auto action	David Aspinall	2003-05-21
\|
*	Note about auto deactivate scripting action	David Aspinall	2003-05-21
\|
*	Updated.	David Aspinall	2003-05-20
\|
*	Cleanup from empty	David Aspinall	2003-05-20
\|
*	Fix tabs in developer list	David Aspinall	2003-05-20
\|
*	Replace obsolete developer email addresses by alias at proofgeneral.org.	David Aspinall	2003-05-20
\|
*	Updated.	David Aspinall	2003-05-20
\|
*	Set version tag for new release.	David Aspinall	2003-05-20
\|
*	Version from Gerwin with performance fixes	David Aspinall	2003-05-20
\|
*	Version without match save, and disabling isar-match-antiq.	David Aspinall	2003-05-20
\|
*	Buglet in proof-mark-buffer-atomic	David Aspinall	2003-05-20
\|
*	Default to not using pad-eol	David Aspinall	2003-05-20
\|
*	Updated.	David Aspinall	2003-05-20
\|
*	Updated.	David Aspinall	2003-05-20
\|
*	Disable fontification of antiquotation because of buggy interaction with ↵	David Aspinall	2003-04-25
\| \| \| \|	font-lock/XEmacs.
*	Note about .elcs	David Aspinall	2003-04-22
\|
*	Updated.	David Aspinall	2003-04-15
\|
*	Set version tag for new release.	David Aspinall	2003-04-15
\|
*	Remove isa-mode from automode alist, to allow SML mode in preference	David Aspinall	2003-04-15
\|
*	Save match data in font-locking function for antiquotations (patch from CW).	David Aspinall	2003-04-15
\|
*	Updated by Gerwin to remove some X-Symbol loading	David Aspinall	2003-04-12
\|
*	Comments.	David Aspinall	2003-04-05
\|
*	Tweak to initialisation; fix prob with turning on during scripting.	David Aspinall	2003-04-05
\|
*	Add proof-indent-pad-eol to add useless spaces	David Aspinall	2003-04-05
\|
*	Add proof-indent-pad-eol for prettifying colouring in XEmacs	David Aspinall	2003-04-05
\|
*	Comments	David Aspinall	2003-04-05
\|
*	Updated.	David Aspinall	2003-03-17
\|
*	Make colour of active scripting indicator change as documented	David Aspinall	2003-03-17
\|
*	Updated.	David Aspinall	2003-03-17
\|
*	TAGS in devel release only	David Aspinall	2003-03-17
\|
*	New files.	David Aspinall	2003-03-17
\|
*	Updated.	David Aspinall	2003-03-17
\|
*	Updated magic	David Aspinall	2003-03-17
\|
*	Bury splash buffer instead of merely switching away from it.	David Aspinall	2003-03-17
\|
*	Updated.	David Aspinall	2003-03-17
\|
*	Allow proof-strict-read-only to be changed dyamically, add to quick opts ↵	David Aspinall	2003-03-17
\| \| \| \|	menu in place of output highlight setting.
*	Documentation.	David Aspinall	2003-03-17
\|