proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Comments.	David Aspinall	2005-05-31
*	Fix the removal of ".UTF-8" from LANG.	David Aspinall	2005-05-17
*	Try to avoid filtering/urgent-message-processing of input	David Aspinall	2004-08-26
*	Don't make proof-shell-insert-hook buffer local.	David Aspinall	2004-08-24
*	Simplify clear buffer calls	David Aspinall	2004-08-24
*	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
*	Allow tracing slow mode to last 2 seconds. Make message more understandable.	David Aspinall	2004-04-27
*	Allow CMD to be nil in proof-shell-invisible-command (failsafe).	David Aspinall	2004-04-26
*	Add proof-eagerly-raise setting, disable it for trace buffer.	David Aspinall	2004-04-18
*	Try to stop frame proliferation: let proof-shell-start make frames,	David Aspinall	2004-04-18
*	Minor changes to avoid some compiler warnings	David Aspinall	2004-04-17
*	Comments.	David Aspinall	2004-04-15
*	Comments.	David Aspinall	2004-04-15
*	Fix buglet in pgip eager annotation stripping.	David Aspinall	2004-04-14
*	Abstract out proof-maybe-askprefs	David Aspinall	2004-04-13
*	Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to s...	David Aspinall	2004-04-02
*	Adjust proof-shell-wait to use less CPU w/o timeout	David Aspinall	2004-03-30
*	Fix a few compiler warnings	David Aspinall	2004-03-02
*	Fix buglets shown up by byte compilation.	David Aspinall	2004-03-01
*	Add interactive input setting, and extra flags for action.	David Aspinall	2003-10-05
*	Add idle timer to cleanup tracing display.	David Aspinall	2003-06-19
*	Comments.	David Aspinall	2003-06-08
*	Add code to recognize fast tracing output from prover, and play slow catchup.	David Aspinall	2003-06-05
*	Add hint triggered when processing complete	David Aspinall	2003-05-24
*	Comments	David Aspinall	2003-05-21
*	Make colour of active scripting indicator change as documented	David Aspinall	2003-03-17
*	Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.	David Aspinall	2003-02-19
*	Remove proof-shell-filter patch of Stefan Monnier which deals with multiple p...	David Aspinall	2003-02-17
*	Remove subterm markup striping in proof-shell-process-output (error case). Docs	David Aspinall	2003-02-17
*	Buglet in proof-shell-ready-prover	David Aspinall	2002-12-29
*	Revert proof-shell-handle-output version, add failsafe.	David Aspinall	2002-11-28
*	proof-shell-invisible-cmd also accepts a function yielding a command.	David Aspinall	2002-11-20
*	Tweak calling of pg-pgip processing commands.	David Aspinall	2002-11-14
*	Fix to proof-shell-handle-output (or rather, to setting of proof-shell-last-o...	David Aspinall	2002-11-13
*	(Failed) Attempt to fix UTF-8 problem for RH8.	David Aspinall	2002-11-11
*	Patch from Stefan Monnier to attempt to handle multi-line inputs in Coq; plus...	David Aspinall	2002-11-07
*	Change to proof-shell-ready-prover to allow more flexible queue handling	David Aspinall	2002-09-14
*	Comment on display anomaly	David Aspinall	2002-09-13
*	Begin support for thms buffer	David Aspinall	2002-09-11
*	Updated.	David Aspinall	2002-08-30
*	Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep...	David Aspinall	2002-08-28
*	Add proof-shell-theorem-dependency-list-split	David Aspinall	2002-08-28
*	Disable undo history for efficiency; improve kill buffer hook.	David Aspinall	2002-08-27
*	Refactoring.	David Aspinall	2002-08-15
*	Add proof-shell-strip-crs-from-output	David Aspinall	2002-08-07
*	Reorganized menus; add options save function; fix capitalization of names	David Aspinall	2002-08-07
*	Comments	David Aspinall	2002-08-07
*	Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...	David Aspinall	2002-07-19
*	Dont call dont-show-annotations for GNU Emacs to avoid nasty bug.	David Aspinall	2002-07-18