proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Generalise proof-def-invisible.	David Aspinall	2004-06-13
\|
*	Adjust colours to a lighter scheme.	David Aspinall	2004-06-13
\|
*	Reinstate escapes for @ { }	David Aspinall	2004-06-04
\|
*	Set version tag for new release.	David Aspinall	2004-06-04
\|
*	proof-goto-end-of-locked: add push-mark; fix: goto end of locked even if	David Aspinall	2004-06-03
\| \| \| \|	buffer switched.
*	Fixup problem with whitespace being left after texi comments (reason:	David Aspinall	2004-05-06
\| \| \| \| \| \| \|	\\s-*$ was matching newlines greedily). Normalize whitespace when inserting new comments. Allow prefix-arg to texi-docstring-magic when running interactively, to forgive undefined symbols (handy for cleaning buffers of @def's).
*	Allow tracing slow mode to last 2 seconds. Make message more understandable.	David Aspinall	2004-04-27
\|
*	condition-case -> unwind-protect	David Aspinall	2004-04-27
\|
*	Add optional (prefix) arg to proof-layout-windows.	David Aspinall	2004-04-27
\|
*	Make response buffer hint shorter	David Aspinall	2004-04-27
\|
*	Add compatibility hack for Emacs 21.2.1 customize-menu-create	David Aspinall	2004-04-26
\|
*	Allow proof-goto-end-of-locked to work again if no active scripting buffer.	David Aspinall	2004-04-26
\|
*	Allow CMD to be nil in proof-shell-invisible-command (failsafe).	David Aspinall	2004-04-26
\|
*	Set version tag for new release.	David Aspinall	2004-04-24
\|
*	Add proof-shell-require-command-regexp, proof-done-advancing-require-function	David Aspinall	2004-04-24
\| \| \| \| \|	to support multiple files in Coq. Move some keybindings to proof-universal-keys (esp. C-c C-l).
*	Add proof-save-some-buffers	David Aspinall	2004-04-22
\|
*	Add proof-deactivate-scripting-hook	David Aspinall	2004-04-22
\|
*	Add proof-deactivate-scripting-hook. Also note activate-script-hook is no ↵	David Aspinall	2004-04-22
\| \| \| \|	longer inherited
*	Allow empty :setting, :eval in defpacustom.	David Aspinall	2004-04-22
\|
*	Set version tag for new release.	David Aspinall	2004-04-21
\|
*	Set version tag for new release.	David Aspinall	2004-04-18
\|
*	Set version tag for new release.	David Aspinall	2004-04-18
\|
*	Set version tag for new release.	David Aspinall	2004-04-18
\|
*	Obey proof-eagerly-raise in proof-layout-windows.	David Aspinall	2004-04-18
\|
*	Add proof-eagerly-raise setting, disable it for trace buffer.	David Aspinall	2004-04-18
\|
*	Try to stop proof-delete-other-frames from bringing up new	David Aspinall	2004-04-18
\| \| \| \|	frames only to delete them.
*	Try to stop frame proliferation: let proof-shell-start make frames,	David Aspinall	2004-04-18
\| \| \| \| \| \| \|	proof-shell-kill tear them down. Add proof-shell-fiddle-frames incase this causes mass customer annoyance. Also move point of specifier setting to after mode has been configured for associated buffer; this makes settings persist better on XEmacs.
*	Add save-selected-frame for GNU Emacs	David Aspinall	2004-04-18
\|
*	Comments.	David Aspinall	2004-04-18
\|
*	Remove faulty compatiblity for XE 21.1	David Aspinall	2004-04-18
\|
*	Set version tag for new release.	David Aspinall	2004-04-17
\|
*	Set version tag for new release.	David Aspinall	2004-04-17
\|
*	Set version tag for new release.	David Aspinall	2004-04-17
\|
*	Minor changes to avoid some compiler warnings	David Aspinall	2004-04-17
\|
*	Fix bug in replace-in-string for GNU Emacs	David Aspinall	2004-04-17
\|
*	Clarify that it is right to query saves in proof-retract-until-point's call	David Aspinall	2004-04-17
\| \| \| \|	of proof-activate-scripting.
*	Oops, remove junk.	David Aspinall	2004-04-17
\|
*	Escape the string from substitute-command-keys in proof-defshortcut, ↵	David Aspinall	2004-04-17
\| \| \| \|	proof-definvisible.
*	Comments.	David Aspinall	2004-04-17
\|
*	Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵	David Aspinall	2004-04-17
\| \| \| \|	for Isabelle.
*	Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵	David Aspinall	2004-04-17
\| \| \| \|	for Isabelle.
*	Capitalization.	David Aspinall	2004-04-17
\|
*	Lighter background colour for proof-error-face	David Aspinall	2004-04-17
\|
*	Add boundp check to proof-map-multiple-frame-specifiers, for some back ↵	David Aspinall	2004-04-16
\| \| \| \|	compatibility.
*	Spurious "'s	David Aspinall	2004-04-16
\|
*	Set version tag for new release.	David Aspinall	2004-04-16
\|
*	Comments.	David Aspinall	2004-04-15
\|
*	Comment out pg-customize-menu-create	David Aspinall	2004-04-15
\|
*	Gerwins bug had snuck back in. Reenable customize menus for GNU Emacs	David Aspinall	2004-04-15
\|
*	Change error face to firebrick (again)	David Aspinall	2004-04-15
\|