proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\| \| \| \| \|	with the state change of a buffer from completely processed to partly processed.
*	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 ↵	David Aspinall	1999-10-19
\| \| \| \|	close off to (proof-script-end), not (point-max).
*	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
\| \| \| \|	disable enablers if < XEmacs 21.
*	Added proof-toolbar-use-enablers.	David Aspinall	1999-10-12
\| \| \| \| \|	Set some defaults to nil to get sensible error messages instead of failure in Coq.
*	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
\|
*	after-change-functions only changed locally, only for script buffers.	David Aspinall	1999-10-06
\|
*	Tidy proof-interrupt-process	David Aspinall	1999-10-06
\|
*	Comments in proof-shell-filter.	David Aspinall	1999-10-06
\|