proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Only create trace buffer if liable to be used. Remove experimental ↵	David Aspinall	2002-01-16
\| \| \| \|	spill-output style tracing code.
*	Set proof-shell-trace-output-regexp in proof-pre-shell-start-hook	David Aspinall	2002-01-16
\|
*	Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp	David Aspinall	2002-01-16
\|
*	Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp	David Aspinall	2002-01-16
\|
*	FSF Emacs -> GNU Emacs	David Aspinall	2002-01-16
\|
*	Document the tracing buffer; FSF Emacs -> GNU Emacs	David Aspinall	2002-01-16
\|
*	Also put trace buffer in x sym mode	David Aspinall	2002-01-15
\|
*	Updated.	David Aspinall	2002-01-15
\|
*	Remove defunct code	David Aspinall	2002-01-15
\|
*	Set version tag for new release.	David Aspinall	2002-01-15
\|
*	Deleted files.	David Aspinall	2002-01-15
\|
*	Describe tracing improvements.	David Aspinall	2002-01-15
\|
*	windows-of-buffer -> get-buffer-window-list GNU name	David Aspinall	2002-01-15
\|
*	Inspect quit-flag when displaying tracing output; send an interrupt to the ↵	David Aspinall	2002-01-15
\| \| \| \|	prover if set.
*	Redisplay during tracing output on XEmacs	David Aspinall	2002-01-15
\|
*	Fix link to feedback page	David Aspinall	2002-01-15
\|
*	tuned;	Makarius Wenzel	2002-01-14
\|
*	some test cases for trace_simp output;	Makarius Wenzel	2002-01-14
\|
*	Fix numbering	David Aspinall	2002-01-11
\|
*	Fix number	David Aspinall	2002-01-11
\|
*	Updated.	David Aspinall	2002-01-11
\|
*	Set version tag for new release.	David Aspinall	2002-01-11
\|
*	tuned;	Makarius Wenzel	2001-12-27
\|
*	trace_rules flag;	Makarius Wenzel	2001-12-27
\|
*	updated;	Makarius Wenzel	2001-12-27
\|
*	fixed spelling;	Makarius Wenzel	2001-12-27
\|
*	do not set proof-shell-quit-cmd (admits persistent sessions);	Makarius Wenzel	2001-12-21
\|
*	incorporate smart X11 font installation (used to be in isatool installfonts);	Makarius Wenzel	2001-12-12
\|
*	Updated.	David Aspinall	2001-12-11
\|
*	Be politically correct about FSF GNU Emacs; update to mention version 21.	David Aspinall	2001-12-11
\|
*	fix links to devel download.	David Aspinall	2001-12-11
\|
*	Updated.	David Aspinall	2001-12-11
\|
*	News item about Emacs 21 support	David Aspinall	2001-12-11
\|
*	Updated.	David Aspinall	2001-12-11
\|
*	Set version tag for new release.	David Aspinall	2001-12-11
\|
*	Note about Emacs 21 support and font lock.	David Aspinall	2001-12-11
\|
*	Protect XEmacs only code	David Aspinall	2001-12-11
\|
*	Fix test for GNU 21	David Aspinall	2001-12-11
\|
*	Change to font-lock support routines.	David Aspinall	2001-12-11
\|
*	Disable customize-menu-create for Emacs 21.	David Aspinall	2001-12-11
\|
*	Rework font-lock variable munging to work in GNU Emacs 21 also.	David Aspinall	2001-12-11
\|
*	Missing paren	David Aspinall	2001-12-11
\|
*	Remove double setting, leave test setting in.	David Aspinall	2001-12-11
\|
*	Simplify -goals-config-done and -response-config-done to use current buffer. ↵	David Aspinall	2001-12-11
\| \| \| \|	Kill trace buffer with other associated buffers, and set specifiers similarly for multiple frames.
*	Added proof-trace-output-fontify-enable	David Aspinall	2001-12-11
\|
*	Note of Emacs 21 support	David Aspinall	2001-12-11
\|
*	Add support for toolbars on Emacs 21.	David Aspinall	2001-12-11
\|
*	Add support for Emacs 21 image display.	David Aspinall	2001-12-11
\|
*	Add proof-running-on-Emacs21 flag.	David Aspinall	2001-12-11
\|
*	Allow toolbar toggle for GNU Emacs 21.	David Aspinall	2001-12-11
\|