proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fix for GNU Emacs	David Aspinall	2004-05-07
\|
*	Make find-and-forget robust for proverproc regions	David Aspinall	2003-06-05
\|
*	Fix some compile errors	David Aspinall	2003-02-24
\|
*	Fix calls on proof-defshortcut	David Aspinall	2002-08-29
\|
*	Fix interactive posn	David Aspinall	2002-08-28
\|
*	Update from PC, sent 5.8.02	David Aspinall	2002-08-07
\|
*	Variable name change proof-comment-{start,end}-regexp -> ↵	David Aspinall	2002-07-19
\| \| \| \|	proof-script-comment-{start,end}-regexp.
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	Add specific install instrs, rearrange.	David Aspinall	2001-09-03
\|
*	Removed spurious requires.	David Aspinall	2000-06-09
\|
*	adapted to new indentation setup;	Makarius Wenzel	2000-06-08
\|
*	Fixed define-key calls. Set useful default for plastic prog name	David Aspinall	2000-05-29
\|
*	fixed error in test.lf	Paul Callaghan	2000-05-26
\| \| \| \|	fixed conflict in plastic.el
*	Added proof-assistant-keymap and commands for defining insert keys.	David Aspinall	2000-05-02
\|
*	pbp-mode -> goals-mode	David Aspinall	2000-04-07
\|
*	Fixed up proof-shell-proof-completed mess nicely.	David Aspinall	2000-04-07
\|
*	New/updated information files	David Aspinall	2000-03-13
\|
*	Fixes for short output duplication problem: set ↵	David Aspinall	2000-01-06
\| \| \| \|	proof-shell-eager-annotation-start-length.
*	proof-shell-done-invisible -> proof-done-invisible again	David Aspinall	1999-11-22
\|
*	Fix several bugs caused by interface changes.	David Aspinall	1999-11-17
\|
*	Change name of proof-execute-minibufer-cmd.	David Aspinall	1999-11-15
\|
*	Removed proof-try-command.	David Aspinall	1999-11-15
\|
*	Many robustness improvements for error and interrupt handling:	David Aspinall	1999-11-14
\| \| \| \| \| \| \| \| \| \| \| \|	- Introduce proof-shell-error-or-interrupt-seen flag set after an error or interrupt was seen (in fact, on every call to proof-release-lock). Examine it in proof-activate-scripting to see whether hooks succeeded in activating scripting. - Test in the shell filter for the lock being held yet nothing in the action list, and clear the lock if so. Gets rid of repetetive proof-shell-busy messages when the queue is empty (for errors during development, or nasty uses of C-g) - Add a timeout to proof-shell-wait (not used yet)
*	Set font-lock-keywords before calling proof-config-done.	David Aspinall	1999-11-12
\|
*	small changes to plastic mode	Paul Callaghan	1999-11-11
\|
*	Electric (active) terminator is now a user option, does not need forcing here.	David Aspinall	1999-11-10
\|
*	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall	1999-10-21
\|
*	Renamed some configuration variables for uniformity, see CHANGES.	David Aspinall	1999-10-01
\|
*	proof-completed-regexp: match number 1 is response text;	Makarius Wenzel	1999-09-22
\|
*	renamed proof-commands-regexp to proof-indent-commands-regexp, which	Makarius Wenzel	1999-05-27
\| \| \| \|	is less confusing);
*	changed use of proof-send (OLD) to proof-shell-insert	Paul Callaghan	1999-05-12
\|
*	instantiation for "plastic" proof assistant	Paul Callaghan	1999-05-11
	based on the lego instantiation.