proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fix active variable highlighting in Isabelle with X-Symbol.	David Aspinall	2002-07-18
\|
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	Use executable-find	David Aspinall	2002-07-01
\|
*	GPL	David Aspinall	2002-06-21
\|
*	Make hack for XEmacs 21.4 also work for later versions	David Aspinall	2002-06-12
\|
*	Fix font lock for E21 (I hope)	David Aspinall	2002-05-03
\|
*	Year changes	David Aspinall	2002-03-21
\|
*	added hook: proof-before-fontify-output-hook	Christophe Raffalli	2002-03-21
\|
*	Updates to font-lock handling in proof-fontify-region, ↵	David Aspinall	2002-02-23
\| \| \| \|	proof-font-lock-clear-font-lock-vars. Fix final return value in fontify region.
*	windows-of-buffer -> get-buffer-window-list GNU name	David Aspinall	2002-01-15
\|
*	Protect XEmacs only code	David Aspinall	2001-12-11
\|
*	Rework font-lock variable munging to work in GNU Emacs 21 also.	David Aspinall	2001-12-11
\|
*	Add handling of proof-trace-buffer.	David Aspinall	2001-12-10
\|
*	Dont return a fontified string in proof-response-buffer-display.	David Aspinall	2001-12-10
\|
*	Fix bug in proof-display-and-keep-buffer which had resulted in switching ↵	David Aspinall	2001-08-17
\| \| \| \|	minibuffer windows buffer.
*	Fixes for fontification in Xemacs 21.4	David Aspinall	2001-05-08
\|
*	* empty log message *	Christophe Raffalli	2000-10-30
\|
*	* empty log message *	Christophe Raffalli	2000-10-27
\|
*	* empty log message *	Christophe Raffalli	2000-10-26
\|
*	* empty log message *	Christophe Raffalli	2000-10-26
\|
*	Fix bug email address to bugs@proofgeneral.org	David Aspinall	2000-09-27
\|
*	Fix Proof General web page to www.proofgeneral.org.	David Aspinall	2000-09-26
\|
*	comment: avoid unbalanced quotes;	Makarius Wenzel	2000-09-25
\|
*	Fix proof-display-and-keep-buffer for displaying from non-script buffer. ↵	David Aspinall	2000-09-23
\| \| \| \|	Add proof-with-script-buffer.
*	changed proof-remove-comment to avoid using string-search (using ↵	Christophe Raffalli	2000-09-18
\| \| \| \|	string-match instead).
*	removed some debugging messages I forgot	Christophe Raffalli	2000-09-15
\|
*	added function string-search and proof-remove-comment	Christophe Raffalli	2000-09-15
\|
*	ADded proof-locate-executable.	David Aspinall	2000-09-08
\|
*	proof-clean-buffer: clear next error flag if buffer is response.	David Aspinall	2000-06-05
\|
*	Added functions for defining string and integer setters, for proof assistant ↵	David Aspinall	2000-05-29
\| \| \| \|	settings.
*	Macros for generic custom settings from proof-config.	David Aspinall	2000-05-26
\| \| \| \| \|	Made proof-set-value work with generic settings as well as global ones, hacking a name for a generic function.
*	Docstring fix	David Aspinall	2000-05-16
\|
*	Moved utility functions to proof-utils.	David Aspinall	2000-05-12
\|
*	Compatibility hack	David Aspinall	2000-05-11
\|
*	Added some functions for developers.	David Aspinall	2000-05-09
\|
*	General utility functions, moved from proof.el	David Aspinall	2000-05-05