proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
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
	Added x-symbol support (moved here from generic/proof-x-symbol)
1999-11-08	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-02	Set version tag for new release.	David Aspinall

1999-10-29	improved proof-shell-error-regexp;	Makarius Wenzel

1999-10-27	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-26	updated;	Makarius Wenzel

1999-10-26	ProofGeneral.inform_file_processed/retracted;	Makarius Wenzel
	improved proof-shell-compute-new-files-list (more robust);
1999-10-26	tuned proof-shell-error-regexp;	Makarius Wenzel

1999-10-26	isa-keywords-save: removed "result";	Makarius Wenzel
	isa-keywords-commands: added "ProofGeneral.repeat_undo"; added isa-keywords-proof-commands; added isa-verbatim;
1999-10-26	ProofGeneral.kill_proof: clears goals buffer;	Makarius Wenzel
	ProofGeneral.restart; ProofGeneral.inform_file_processed/retracted; improved proof-shell-compute-new-files-list (more robust);
1999-10-26	replaced remove_thy by kill_thy (more robust);	Makarius Wenzel

1999-10-26	added kill_thy, touch_child_thys;	Makarius Wenzel
	internal ProofGeneral commands;
1999-10-25	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-22	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-21	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
	with the state change of a buffer from completely processed to partly processed.
1999-10-21	Documentation about the improved multiple file handling functions.	David Aspinall

1999-10-21	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall

1999-10-21	todo to improve proof-script-next-entity-regexps.	David Aspinall

1999-10-21	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall

1999-10-21	Renamed proof-shell-inform-file-processed-cmd	David Aspinall

1999-10-21	Added proof-shell-inform-file-processed-cmd	David Aspinall

1999-10-21	typo	David Aspinall

1999-10-21	Changed name to proof-shell-inform-file-processed-cmd	David Aspinall

1999-10-21	Revised bug section for Isabelle multiple file note.	David Aspinall