proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Strange ? got in by accident.	David Aspinall	2000-06-09
\|
*	Set version tag for new release.	David Aspinall	2000-06-09
\|
*	Comment	David Aspinall	2000-06-09
\|
*	Remove toolbar and menubar from windows in multiple frame mode.	David Aspinall	2000-06-09
\|
*	rewrote code from scratch: faster, easier to configure; now enabled by default;	Makarius Wenzel	2000-06-08
\|
*	settings for new indentation setup;	Makarius Wenzel	2000-06-08
\|
*	added proof-looking-at-safe, proof-looking-at-syntactic-context;	Makarius Wenzel	2000-06-08
\| \| \| \|	removed proof-indent-commands-regexp;
*	Set version tag for new release.	David Aspinall	2000-06-06
\|
*	Added special hack for Isar to include proof-terminal-char in sent string.	David Aspinall	2000-06-06
\|
*	fixed proof-anchor-regexp: use \` instead of ^;	Makarius Wenzel	2000-06-05
\| \| \| \|	added proof-no-regexp;
*	Added miscellaneous commands section, with proof-display-some-buffers	David Aspinall	2000-06-05
\| \| \| \| \| \| \|	function. Bind C-c C-l to proof-display-some-buffers, add to buffer menu. Move start/exit to proof assistant specific menu. Added proof-next-error to menu.
*	proof-clean-buffer: clear next error flag if buffer is response.	David Aspinall	2000-06-05
\|
*	Tweaked some docstrings.	David Aspinall	2000-06-05
\| \| \| \| \|	Added proof-shell-next-error-regexp and friends. Bind proof-shell-next-error in proof-universal-keys.
*	Added proof-next-error.	David Aspinall	2000-06-05
\| \| \| \| \|	proof-shell-invisible-command: add terminator if it seems to be missing (after all: it's useful for users with C-c C-v).
*	Updated to add proof-next-error.	David Aspinall	2000-06-05
\|
*	proof-segment-up-to-cmdstart/end: use proof-re-search, proof-looking-at!	Makarius Wenzel	2000-06-04
\|
*	proof-re-search-forward/backward: observe proof-case-fold-search;	Makarius Wenzel	2000-06-04
\|
*	proof-segment-up-to-cmdstart: exclude leading blanks from command string;	Makarius Wenzel	2000-06-04
\|
*	improved proof-segment-up-to-cmdstart: handle overlap of command	Makarius Wenzel	2000-06-03
\| \| \| \|	prefix and comment/string (e.g. { vs {* in Isar);
*	Set version tag for new release.	David Aspinall	2000-06-01
\|
*	Updated	David Aspinall	2000-06-01
\|
*	Added autoload	David Aspinall	2000-06-01
\|
*	Allow two strings for boolean settings to handle non-uniformity in Coq	David Aspinall	2000-06-01
\|
*	Use proof-running-on-XEmacs variable.	David Aspinall	2000-06-01
\|
*	Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias ↵	David Aspinall	2000-06-01
\| \| \| \|	if already set.
*	New file	David Aspinall	2000-06-01
\|
*	New parsing functions proof-segment-up-to-cmd{start,end}	David Aspinall	2000-06-01
\| \| \| \| \| \| \|	Select new parsing function according to config variables Use proof-comment-{start,end}-regexp, and set default values in proof-config-done-related, from proof-comment-{start,end} New proof-script-complete which uses proof-case-fold-search
*	Changed 'complete to 'proof-script-complete to use proof-case-fold-search.	David Aspinall	2000-06-01
\|
*	Made require on proof-menu instead of proof-script.	David Aspinall	2000-06-01
\|
*	Use proof-comment-{start,end}-regexp	David Aspinall	2000-06-01
\|
*	Added proof-comment-start-regexp, proof-commend-end-regexp.	David Aspinall	2000-06-01
\| \| \| \|	Mention proof-script-complete in docstring for proof-case-fold-search.
*	Fix keybinding for completion. Add completion to menubar.	David Aspinall	2000-05-31
\|
*	Added hack to completion.el to avoid adding every prefix as completion.	David Aspinall	2000-05-31
\|
*	Compatibility with completion package.	David Aspinall	2000-05-31
\|
*	Fixes for completion support.	David Aspinall	2000-05-31
\|
*	Set version tag for new release.	David Aspinall	2000-05-30
\|
*	Hairy parsing for Isar. Not finished (or working) yet.	David Aspinall	2000-05-30
\|
*	Arg for proof-minibuffer-cmd: compact whitespace in region.	David Aspinall	2000-05-30
\|
*	Fixed typo causing bug. Generic parsing updated (still wip)	David Aspinall	2000-05-30
\|
*	Change order of checks in proof-shell-live-buffer	David Aspinall	2000-05-30
\|
*	Added process-live-p	David Aspinall	2000-05-30
\|
*	Added proof-script-command-start-regexp. Updated docstrings to reflect that ↵	David Aspinall	2000-05-30
\| \| \| \|	proof-terminal-char no longer appended to commands.
*	Tidied	David Aspinall	2000-05-30
\|
*	Added doc of new prefix arg feature for proof-minibuffer-cmd	David Aspinall	2000-05-30
\|
*	Added prefix arg to proof-minibuffer-cmd to insert current region.	David Aspinall	2000-05-30
\|
*	Set version tag for new release.	David Aspinall	2000-05-29
\|
*	Added new parsing mechanism. Began removing proof-terminal-string.	David Aspinall	2000-05-29
\|
*	Updated	David Aspinall	2000-05-29
\|
*	Don\'t wait for ever if process dies on startup	David Aspinall	2000-05-29
\|
*	Generalized proof-format to allow sexps in replacement.	David Aspinall	2000-05-29
\|