proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Add buffer history browsing	David Aspinall	2006-09-24
\|
*	Add C-g watcher for trace buffer	David Aspinall	2006-05-26
\|
*	Improve handling of intermittent fontification for trace buffers.	David Aspinall	2004-06-24
\|
*	Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level ↵	David Aspinall	2004-06-16
\| \| \| \|	setting.
*	condition-case -> unwind-protect	David Aspinall	2004-04-27
\|
*	Add optional (prefix) arg to proof-layout-windows.	David Aspinall	2004-04-27
\|
*	Obey proof-eagerly-raise in proof-layout-windows.	David Aspinall	2004-04-18
\|
*	Try to stop proof-delete-other-frames from bringing up new	David Aspinall	2004-04-18
\| \| \| \|	frames only to delete them.
*	Comments.	David Aspinall	2004-04-18
\|
*	Remove faulty compatiblity for XE 21.1	David Aspinall	2004-04-18
\|
*	Add boundp check to proof-map-multiple-frame-specifiers, for some back ↵	David Aspinall	2004-04-16
\| \| \| \|	compatibility.
*	Add hint to C-c C-l; cleanup hints, add menu for C-c C-l	David Aspinall	2004-04-13
\|
*	Overhaul and fixes for display management.	David Aspinall	2004-04-02
\|
*	Add idle timer to cleanup tracing display.	David Aspinall	2003-06-19
\|
*	Add code to recognize fast tracing output from prover, and play slow catchup.	David Aspinall	2003-06-05
\|
*	Revert to displaying empty buffer for sake of pr in Isar	David Aspinall	2003-05-24
\|
*	Do not display empty responses	David Aspinall	2003-05-24
\|
*	Comment about desirability for lazy-shot in trace output	David Aspinall	2003-03-14
\|
*	Fix some compile errors	David Aspinall	2003-02-24
\|
*	Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.	David Aspinall	2003-02-19
\|
*	Try to catch nesting too deep ugliness (esp in Isabelle tracing)	David Aspinall	2002-12-29
\|
*	set-specifier -> remove-specifier as per XEmacs docs.	David Aspinall	2002-09-13
\|
*	Don't insert blank line at top of response buffer.	David Aspinall	2002-09-11
\|
*	Missing paren	David Aspinall	2002-09-11
\|
*	Begin adding code for thms buffer	David Aspinall	2002-09-04
\|
*	Tidy display	David Aspinall	2002-08-30
\|
*	Make font-lock-keywords buffer local for sake of Emacs 21.2.	David Aspinall	2002-08-28
\|
*	Docstring	David Aspinall	2002-08-27
\|
*	Disable undo history for efficiency; add clear response buffers function; ↵	David Aspinall	2002-08-27
\| \| \| \|	clear modified flag.
*	Try to prevent associated buffers being killed off by user.	David Aspinall	2002-08-26
\|
*	Refactoring.	David Aspinall	2002-08-15
\|
*	Reorganized menus; add options save function; fix capitalization of names	David Aspinall	2002-08-07
\|
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	Refactoring	David Aspinall	2002-07-16