proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
*	Quoted backslashes.	David Aspinall	2000-03-24
*	Sensible default for Windows invoking Isabelle	David Aspinall	2000-03-24
*	Attempt to fix filename mess for Windows.	David Aspinall	2000-03-24
*	Updated Isabelle home page.	David Aspinall	2000-03-23
*	Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...	David Aspinall	2000-03-22
*	Fix other file commands to use %e substitution.	David Aspinall	2000-03-22
*	Use new format character %s to %e to cope with nasty filenames with backslashes.	David Aspinall	2000-03-22
*	transparent cd;	Makarius Wenzel	2000-03-22
*	Added settings for silent control.	David Aspinall	2000-03-19
*	Docstrings	David Aspinall	2000-03-10
*	fixed proof-shell-error-regexp;	Makarius Wenzel	2000-02-07
*	Comments	David Aspinall	2000-01-12
*	Fixes for short output duplication problem: set proof-shell-eager-annotation-...	David Aspinall	2000-01-06
*	Add universal keys to theory mode	David Aspinall	1999-11-29
*	Fix to proof-shell-proof-completed-regexp by reverting to previous version.	David Aspinall	1999-11-26
*	Patch to proof-shell-proof-completed-regexp to prevent overflow, sent by Markus	David Aspinall	1999-11-23
*	Failed attempt to trap C-g during try-update-thy. Left as comments.	David Aspinall	1999-11-18
*	Remove some obsolete/unecessary stuff.	David Aspinall	1999-11-17
*	Cleanups and a bit more highlighting	David Aspinall	1999-11-16
*	Matching goals regexp. Comments.	David Aspinall	1999-11-16
*	Removed font-lock settings. Set proof-font-lock-zap-commas=t	David Aspinall	1999-11-15
*	Many robustness improvements for error and interrupt handling:	David Aspinall	1999-11-14
*	proof-nested-goals-allowed -> proof-completed-proof-behaviour	David Aspinall	1999-11-14
*	Fixes for Isabelle in case theory file is visited before script file.	David Aspinall	1999-11-12
*	Display qed message in goals buffer	David Aspinall	1999-11-12
*	Extensive fixes for x-symbol and font-lock.	David Aspinall	1999-11-11
*	Fixes for x-symbol activation/deactivation strings	David Aspinall	1999-11-09
*	Arrange for activate-scripting to not block for interactive calls.	David Aspinall	1999-11-09
*	Comments.	David Aspinall	1999-11-08
*	Typo.	David Aspinall	1999-11-08
*	Changed web page to official one.	David Aspinall	1999-11-08
*	improved proof-shell-error-regexp;	Makarius Wenzel	1999-10-29
*	isa-update-thy-only: 'try' option;	Makarius Wenzel	1999-10-27
*	ProofGeneral.inform_file_processed/retracted;	Makarius Wenzel	1999-10-26
*	tuned proof-shell-error-regexp;	Makarius Wenzel	1999-10-26
*	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall	1999-10-21
*	Add isa-shell-update-thy at the end of proof-activate-scripting-hook.	David Aspinall	1999-10-20
*	Added uncaught exception to error-regexp	David Aspinall	1999-10-19
*	Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.	David Aspinall	1999-10-19
*	Deactivate scripting before retracting a theory file. Fix for DvO's report.	David Aspinall	1999-10-19
*	Whitespace	David Aspinall	1999-10-15
*	Fix for state-preserving-p	David Aspinall	1999-10-06
*	Made new command proof-cd to cd to the directory of the current	David Aspinall	1999-10-06
*	Turned off C-c C-l; fixed syntax for old result form; proof-showproof-command.	David Aspinall	1999-10-06
*	thy mode binding made to match with script mode	David Aspinall	1999-10-06
*	Renamed some configuration variables for uniformity, see CHANGES.	David Aspinall	1999-10-01
*	replaced isa-output-font-lock-terms by isa-output-font-lock-keywords-1;	Makarius Wenzel	1999-09-30
*	Enabled hack for proof-shell-leave-annotations-in-output	David Aspinall	1999-09-29
*	Added setting for proof-find-theorems-command.	David Aspinall	1999-09-23
*	improved (?) proof-shell-proof-completed-regexp;	Makarius Wenzel	1999-09-22