proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fixes to intro.	David Aspinall	1999-11-08
\|
*	Updates for 3.0	David Aspinall	1999-11-08
\|
*	Docstring for proof-included-files.	David Aspinall	1999-11-08
\|
*	proof-prf-string -> proof-showproof-command	David Aspinall	1999-11-08
\|
*	Updated	David Aspinall	1999-11-08
\|
*	Comments/messages.	David Aspinall	1999-11-08
\|
*	Comments.	David Aspinall	1999-11-08
\|
*	Updated multiple file notes.	David Aspinall	1999-11-08
\|
*	New file.	David Aspinall	1999-11-08
\|
*	Note about release 3.0.	David Aspinall	1999-11-08
\|
*	Updated	David Aspinall	1999-11-08
\|
*	Provisional updates for x-symbol support (incomplete)	David Aspinall	1999-11-08
\|
*	Copyright messages updated.	David Aspinall	1999-11-08
\|
*	Typo.	David Aspinall	1999-11-08
\|
*	Changed web page to official one.	David Aspinall	1999-11-08
\| \| \| \|	Added x-symbol support (moved here from generic/proof-x-symbol)
*	Copyright messages updated. Autoloads for x-symbol.	David Aspinall	1999-11-08
\|
*	Copyright messages updated.	David Aspinall	1999-11-08
\|
*	New section for x-symbol. New custom group for user options.	David Aspinall	1999-11-08
\|
*	Comments	David Aspinall	1999-11-08
\|
*	Updated	David Aspinall	1999-11-08
\|
*	Set version tag for new release.	David Aspinall	1999-11-02
\|
*	improved proof-shell-error-regexp;	Makarius Wenzel	1999-10-29
\|
*	update of x-symbol stuff by DvO;	Makarius Wenzel	1999-10-27
\|
*	updated;	Makarius Wenzel	1999-10-27
\|
*	(try_)context_thy_only;	Makarius Wenzel	1999-10-27
\|
*	isa-update-thy-only: 'try' option;	Makarius Wenzel	1999-10-27
\|
*	test stray ML file;	Makarius Wenzel	1999-10-27
\|
*	tuned msg;	Makarius Wenzel	1999-10-27
\|
*	updated;	Makarius Wenzel	1999-10-26
\|
*	ProofGeneral.inform_file_processed/retracted;	Makarius Wenzel	1999-10-26
\| \| \| \|	improved proof-shell-compute-new-files-list (more robust);
*	tuned proof-shell-error-regexp;	Makarius Wenzel	1999-10-26
\|
*	isa-keywords-save: removed "result";	Makarius Wenzel	1999-10-26
\| \| \| \| \| \|	isa-keywords-commands: added "ProofGeneral.repeat_undo"; added isa-keywords-proof-commands; added isa-verbatim;
*	ProofGeneral.kill_proof: clears goals buffer;	Makarius Wenzel	1999-10-26
\| \| \| \| \| \|	ProofGeneral.restart; ProofGeneral.inform_file_processed/retracted; improved proof-shell-compute-new-files-list (more robust);
*	replaced remove_thy by kill_thy (more robust);	Makarius Wenzel	1999-10-26
\|
*	added kill_thy, touch_child_thys;	Makarius Wenzel	1999-10-26
\| \| \| \|	internal ProofGeneral commands;
*	Implementation of proof-auto-multiple-files.	David Aspinall	1999-10-25
\|
*	Trivial tests for auto multiple files.	David Aspinall	1999-10-25
\|
*	Bug fix for proof-re-end-of-cmd (regexp-quote proof-terminal-string)	David Aspinall	1999-10-25
\|
*	Added ProofGeneral.texi to tags target.	David Aspinall	1999-10-25
\|
*	Added proof-auto-multiple-files. Docstring addition.	David Aspinall	1999-10-25
\|
*	Made proof-warning and friends take arg list.	David Aspinall	1999-10-25
\|
*	update by DvO;	Makarius Wenzel	1999-10-22
\|
*	Set version tag for new release.	David Aspinall	1999-10-22
\|
*	isar-remove-file: compare basenames only;	Makarius Wenzel	1999-10-22
\|
*	Typo.	David Aspinall	1999-10-21
\|
*	Trivial changes	David Aspinall	1999-10-21
\|
*	Set version tag for new release.	David Aspinall	1999-10-21
\|
*	Added inform-file-retracted-cmd setting	David Aspinall	1999-10-21
\|
*	Altered slightly to remove contentious phrase.	David Aspinall	1999-10-21
\|
*	Added symmetric proof-shell-inform-file-retracted-cmd setting to correspond	David Aspinall	1999-10-21
\| \| \| \| \|	with the state change of a buffer from completely processed to partly processed.