proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
*	Revert cursor hide in goals and response to avoid user confusion; use bar cur...	David Aspinall	2008-07-05
*	Reduce compiler warnings. Minor fixes.	David Aspinall	2008-01-16
*	Compilation tweaks	David Aspinall	2008-01-16
*	Revert 8.18: font-lock-append-text-property merges faces better.	David Aspinall	2008-01-16
*	pg-response-display: use add-text-properties instead of font-lock-append-text...	David Aspinall	2008-01-15
*	Many rearrangements for compatibility, efficient/correct compilation, namespa...	David Aspinall	2008-01-15
*	Use proof-shell-unicode to control whether bytes 128-255 are stripped from ou...	David Aspinall	2007-12-14
*	Emacs compatibility/API updates: string-to-int -> string-to-number	David Aspinall	2007-12-10
*	Use button2 instead of button1 for pg-goals-button-action	David Aspinall	2007-09-06
*	Only analyse structure for region of appended text	David Aspinall	2007-08-19
*	Add support for sending back literal commands reusing PBP markup mechanisms.	David Aspinall	2007-08-14
*	Tweaks to buffer history mode. Still intermediate version.	David Aspinall	2006-09-24
*	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 se...	David Aspinall	2004-06-16
*	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
*	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 compat...	David Aspinall	2004-04-16
*	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; cle...	David Aspinall	2002-08-27
*	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 disp...	David Aspinall	2002-07-16
*	Refactoring	David Aspinall	2002-07-16