proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Attempt to prevent recording of buffer switching history (display-buffer ↵	David Aspinall	2003-06-08
\| \| \| \|	cannot be stopped, sadly)
*	GNU Emacs keybinding for pg-identifier-under-mouse-query	David Aspinall	2003-06-08
\|
*	Only give hint about C-c C-. if not already visible	David Aspinall	2003-06-08
\|
*	Add insert last output onto menu	David Aspinall	2003-06-08
\|
*	Add simple but effective identifier-under-mouse-query command.	David Aspinall	2003-06-08
\|
*	Add code to recognize fast tracing output from prover, and play slow catchup.	David Aspinall	2003-06-05
\|
*	Remove proof-trace-output-fontify-enable (unused) in favour of ↵	David Aspinall	2003-06-05
\| \| \| \|	proof-trace-output-slow-catchup
*	Typo	David Aspinall	2003-06-05
\|
*	Update magic	David Aspinall	2003-06-05
\|
*	Typo; update magic	David Aspinall	2003-06-05
\|
*	Make find-and-forget robust for proverproc regions	David Aspinall	2003-06-05
\|
*	Simplify mark-buffer-atomic to just make 'proverproc span.	David Aspinall	2003-06-05
\|
*	Updated.	David Aspinall	2003-06-05
\|
*	By default, do not move pointer on interrupt, only error; tune hints for spans	David Aspinall	2003-06-05
\|
*	Updated.	David Aspinall	2003-05-28
\|
*	Add Gerwin and Stefan canonical emails to ChangeLog generation	David Aspinall	2003-05-28
\|
*	proof-strict-read-only: only alter locked span if live (bug fix)	David Aspinall	2003-05-28
\|
*	Updated.	David Aspinall	2003-05-24
\|
*	Set version tag for new release.	David Aspinall	2003-05-24
\|
*	Rotate buffers display can display next buffer	David Aspinall	2003-05-24
\|
*	Include next buffer in hint for rotate buffers	David Aspinall	2003-05-24
\|
*	Revert to displaying empty buffer for sake of pr in Isar	David Aspinall	2003-05-24
\|
*	Updated.	David Aspinall	2003-05-24
\|
*	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
\|