proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	renamed proof-commands-regexp to proof-indent-commands-regexp, which	Makarius Wenzel	1999-05-27
*	fixed syntax entry for "_"	Thomas Kleymann	1999-02-03
*	Regexp bug. Use proof-string-match appropriately.	David Aspinall	1999-02-01
*	Changed read-no-blanks-input to read-string, former is defunct.	David Aspinall	1999-01-12
*	File sent by David von Oheimb.	David Aspinall	1998-12-18
*	Docstring tweak	David Aspinall	1998-12-15
*	Fixed broken check on proof-mode-hook.	David Aspinall	1998-12-15
*	made many minor changes to the documentation	Thomas Kleymann	1998-12-15
*	Altered behaviour to allow retraction part-way through finished scripts.	David Aspinall	1998-12-11
*	Fix for splash hack for theory files when proo-splash-inhibit=t.	David Aspinall	1998-12-10
*	Added clear-goals-buffer stuff, asked for response to be left after use_thy.	David Aspinall	1998-11-26
*	Cleaned up, and made use_thy remove ML file from DB properly;	David Aspinall	1998-11-25
*	Documentation improvements.	David Aspinall	1998-11-25
*	FSF Emacs fix for buffer-file-truename, which is the	David Aspinall	1998-11-25
*	Fixed show_context	David Aspinall	1998-11-25
*	Fixes to debug long standing not-showing-first-goal problem.	David Aspinall	1998-11-25
*	Added Isamode-like keybinding C-c C-l for proof-prf.	David Aspinall	1998-11-25
*	Docstring fixes, minor improvements.	David Aspinall	1998-11-25
*	Docstring fixes	David Aspinall	1998-11-25
*	Improvements for multiple files and robustness: keep a copy of	David Aspinall	1998-11-20
*	Improvements for multiple files. Now saves state specially for ProofGeneral.	David Aspinall	1998-11-18
*	Added isa-update function. Altered settings.	David Aspinall	1998-11-18
*	Fixed problem with list_loaded_files and update().	David Aspinall	1998-11-18
*	Added Proof General menu to theory file mode.	David Aspinall	1998-11-18
*	Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneral	David Aspinall	1998-11-18
*	Improvements and cleanups:	David Aspinall	1998-11-18
*	new file to factor out improved theory reader junk.	David Aspinall	1998-11-18
*	Bug in regexp	David Aspinall	1998-11-12
*	In a fit of autocracy, removed proof-tags-support, binding for	David Aspinall	1998-11-12
*	Fixed error regexp	David Aspinall	1998-11-12
*	Fixed a regexp.	David Aspinall	1998-11-12
*	Replaced custom-set-variables with customize-set-variable:	David Aspinall	1998-11-12
*	Disabled problematic requires temporarily.	David Aspinall	1998-11-10
*	Removed references of proof-shell-noise-regexp	Thomas Kleymann	1998-11-10
*	Fixes for byte compilations and missing bits of Isamode.	David Aspinall	1998-11-10
*	Removed superfluous variable. Improved docstrings.	David Aspinall	1998-11-09
*	Added prefix arg to thy-find-other-file to use same window	David Aspinall	1998-11-06
*	Added key binding to switch between theory and ML files.	David Aspinall	1998-11-04
*	Reimplemented thy-find-other-file	David Aspinall	1998-11-04
*	Disabled annotated prompts because of strange bug.	David Aspinall	1998-11-03
*	More regexp improvements	David Aspinall	1998-11-03
*	Work on improving regular expressions for Isabelle.	David Aspinall	1998-11-03
*	fixed bug with font-lock face names	Thomas Kleymann	1998-11-03
*	Changes suggested by Markus Wenzel	David Aspinall	1998-11-02
*	fixed minor bugs	Thomas Kleymann	1998-11-02
*	o added support for byte-compilation	Thomas Kleymann	1998-11-01
*	Fixes for multiple files. More defcustoms.	David Aspinall	1998-10-29
*	Example theory file	David Aspinall	1998-10-29
*	Crudely hacked Isabelle image onto splash screen.	David Aspinall	1998-10-29
*	Begun work on adding more special annotations for Isabelle.	David Aspinall	1998-10-29