proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	updated;	Makarius Wenzel	2000-06-04
\|
*	replaced isar-verbatim by isabelle-verbatim;	Makarius Wenzel	2000-06-04
\| \| \| \|	fixed output syntax table;
*	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);
*	{ } are back;	Makarius Wenzel	2000-06-03
\|
*	Added 3 entries in the Coq menu: Print Check and Hints	Pierre Courtieu	2000-06-02
\|
*	Set version tag for new release.	David Aspinall	2000-06-01
\|
*	Updated	David Aspinall	2000-06-01
\|
*	Added autoload	David Aspinall	2000-06-01
\|
*	Added links to latest manual	David Aspinall	2000-06-01
\|
*	File used to test new parsing mechanism.	David Aspinall	2000-06-01
\|
*	New test files for PG kit.	David Aspinall	2000-06-01
\|
*	Added proof-comment-{start,end}-regexp.	David Aspinall	2000-06-01
\| \| \| \| \| \|	Added proof-segment-up-to-{cmdstart,cmdend} and details of which is selected. Updated magic.
*	Updated	David Aspinall	2000-06-01
\|
*	Note about generalizing settings mechanism	David Aspinall	2000-06-01
\|
*	Removed time setting, added proof-assistant-settings-cmd to init string, but ↵	David Aspinall	2000-06-01
\| \| \| \|	commented out
*	Added a couple of settings for Coq	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.
*	Plea for debugging in FSF Emacs	David Aspinall	2000-06-01
\|
*	Updated, mentioning new parsing function mechanisms	David Aspinall	2000-06-01
\|
*	Remove spurious spaces	David Aspinall	2000-06-01
\|
*	Removed now spurious semicolons, 8-).	David Aspinall	2000-06-01
\|
*	Temporarily removed keywords { and } for new parsing mechanism	David Aspinall	2000-06-01
\|
*	Remove setting of proof-segment-up-to	David Aspinall	2000-06-01
\|
*	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.
*	Remove spurious requires.	David Aspinall	2000-06-01
\|
*	Commented out global-timing since it seems to be Isabelle99-1 specific.	David Aspinall	2000-05-31
\|
*	Added old completion table from Isamode. Added code to automatically add ↵	David Aspinall	2000-05-31
\| \| \| \|	completion for x-symbol tokens.
*	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
\|
*	improved isar-goals-font-lock-keywords;	Makarius Wenzel	2000-05-30
\|
*	Set version tag for new release.	David Aspinall	2000-05-30
\|
*	Added missing command terminators for proof-xsym commands	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
\|
*	handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;	Makarius Wenzel	2000-05-30
\|
*	isar-preprocessing inserts final terminator if none there.	David Aspinall	2000-05-30
\| \| \| \| \|	Added (defpgdefault script-indent t) to turn on indentation. Added proof-script-command-start-regexp setting.
*	Change order of checks in proof-shell-live-buffer	David Aspinall	2000-05-30
\|
*	defpacustom global-timing;	Makarius Wenzel	2000-05-30
\|
*	Added process-live-p	David Aspinall	2000-05-30
\|