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
\|
*	Also put trace buffer in x sym mode	David Aspinall	2002-01-15
\|
*	Remove defunct code	David Aspinall	2002-01-15
\|
*	Set version tag for new release.	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
\|
*	Set version tag for new release.	David Aspinall	2002-01-11
\|
*	fixed spelling;	Makarius Wenzel	2001-12-27
\|
*	Set version tag for new release.	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
\|
*	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
\|
*	Toolbar allowed in GNU Emacs 21	David Aspinall	2001-12-11
\|
*	Add proof-emacs-imagep function for GNU Emacs 21.	David Aspinall	2001-12-11
\|
*	Add handling of proof-trace-buffer.	David Aspinall	2001-12-10
\|
*	Added proof-trace-buffer.	David Aspinall	2001-12-10
\|
*	Dont return a fontified string in proof-response-buffer-display.	David Aspinall	2001-12-10
\|
*	proof-release-lock: do not touch proof-shell-spill-output-buffer;	Makarius Wenzel	2001-12-05
\| \| \| \|	proof-shell-spill-output-begin: reuse existing buffer;
*	Set version tag for new release.	David Aspinall	2001-12-04
\|
*	Set version tag for new release.	David Aspinall	2001-10-08
\|
*	Fix fudged enabler to call button function interactively.	David Aspinall	2001-10-04
\|
*	fixed spelling;	Makarius Wenzel	2001-09-26
\|
*	Set version tag for new release.	David Aspinall	2001-09-24
\|
*	Fix error in docs of stop-silent-command, and name of pre-shell-start-hook.	David Aspinall	2001-09-24
\|
*	Implement Robert Schnecks idea to help Coq display whole of goals output.	David Aspinall	2001-09-24
\|
*	Set version tag for new release.	David Aspinall	2001-09-13
\|
*	Set version tag for new release.	David Aspinall	2001-09-10
\|
*	Set version tag for new release.	David Aspinall	2001-09-09
\|
*	Set version tag for new release.	David Aspinall	2001-09-09
\|
*	Set version tag for new release.	David Aspinall	2001-09-09
\|
*	Set version tag for new release.	David Aspinall	2001-09-09
\|
*	Set version tag for new release.	David Aspinall	2001-09-05
\|
*	Incomplete	David Aspinall	2001-09-05
\|
*	Add keybindings for new commands for moving/navigating spans.	David Aspinall	2001-09-05
\|
*	Fix problem with C-x C-v by copying buffer-file-name. Add children property ↵	David Aspinall	2001-09-05
\| \| \| \|	to control spans.
*	Improved span moving and navigation commands.	David Aspinall	2001-09-05
\|
*	Set version tag for new release.	David Aspinall	2001-09-04
\|