proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Bug in proof-toggle-active-scripting interactive calling.	David Aspinall	1999-11-09
*	Arrange for activate-scripting to not block for interactive calls.	David Aspinall	1999-11-09
*	docstring	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
*	Comments/messages.	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
*	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
*	Set version tag for new release.	David Aspinall	1999-11-02
*	update of x-symbol stuff by DvO;	Makarius Wenzel	1999-10-27
*	tuned msg;	Makarius Wenzel	1999-10-27
*	Implementation of proof-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 proof-auto-multiple-files. Docstring addition.	David Aspinall	1999-10-25
*	Made proof-warning and friends take arg list.	David Aspinall	1999-10-25
*	Set version tag for new release.	David Aspinall	1999-10-22
*	Set version tag for new release.	David Aspinall	1999-10-21
*	Added symmetric proof-shell-inform-file-retracted-cmd setting to correspond	David Aspinall	1999-10-21
*	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall	1999-10-21
*	Changed name to proof-shell-inform-file-processed-cmd	David Aspinall	1999-10-21
*	Added proof-shell-inform-file-processed-command setting.	David Aspinall	1999-10-21
*	docstring	David Aspinall	1999-10-21
*	Set version tag for new release.	David Aspinall	1999-10-20
*	Comments in proof-complete-buffer-atomic.	David Aspinall	1999-10-20
*	Made proof-site only load once.	David Aspinall	1999-10-20
*	Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic. Fix to only c...	David Aspinall	1999-10-19
*	Missing cursor move	David Aspinall	1999-10-18
*	FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.	David Aspinall	1999-10-15
*	Docstring improvements	David Aspinall	1999-10-15
*	Failed attempt to fix sentinel problem	David Aspinall	1999-10-15
*	comments added.	David Aspinall	1999-10-15
*	let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;	Makarius Wenzel	1999-10-15
*	Disabled proliferation of proof shell buffers.	David Aspinall	1999-10-15
*	Set version tag for new release.	David Aspinall	1999-10-14
*	Docstring	David Aspinall	1999-10-14
*	Fix missing save-excursion causing bug with proof-process-buffer.	David Aspinall	1999-10-14
*	Added message for reporting problems to splash screen.	David Aspinall	1999-10-12
*	Set version tag for new release.	David Aspinall	1999-10-12
*	docstring magic	David Aspinall	1999-10-12
*	docstring improved	David Aspinall	1999-10-12
*	Added proof-toolbar-use-enablers setting, and automatically	David Aspinall	1999-10-12
*	Added proof-toolbar-use-enablers.	David Aspinall	1999-10-12
*	Set version tag for new release.	David Aspinall	1999-10-07
*	Fix for older emacsen, maybe.	David Aspinall	1999-10-07
*	Set version tag for new release.	David Aspinall	1999-10-06
*	Set version tag for new release.	David Aspinall	1999-10-06