proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Reorganization and cleanup of key-bindings.	David Aspinall	1999-11-15
*	Added proof-splash-message.	David Aspinall	1999-11-15
*	Fix for FSF Emacs. Added timeout arg to proof-shell-wait.	David Aspinall	1999-11-15
*	Tuned splash screen for FSF emacs. Added proof-font-lock-zap-commas	David Aspinall	1999-11-15
*	Fixes for proof-goto-commmand-{end,start}. Former new function	David Aspinall	1999-11-14
*	Many robustness improvements for error and interrupt handling:	David Aspinall	1999-11-14
*	docstring	David Aspinall	1999-11-14
*	Fix to docstring magic (allow spaces after symbol).	David Aspinall	1999-11-14
*	proof-nested-goals-allowed -> proof-completed-proof-behaviour	David Aspinall	1999-11-14
*	Beginnings of improved version of goal..no save regions.	David Aspinall	1999-11-13
*	comments	David Aspinall	1999-11-13
*	Added example instantiation demoisa	David Aspinall	1999-11-13
*	Added new face for debug messages	David Aspinall	1999-11-13
*	Notes about font-lock management.	David Aspinall	1999-11-12
*	Fixes for Isabelle in case theory file is visited before script file.	David Aspinall	1999-11-12
*	Document variables before functions in case of name clash.	David Aspinall	1999-11-12
*	Added ACTION to proof-shell-insert so proof-shell-insert-hook can test class ...	David Aspinall	1999-11-12
*	Made display table stuff interactive.	David Aspinall	1999-11-12
*	Changed colour of proof-locked-face	David Aspinall	1999-11-12
*	Fix for automode list	David Aspinall	1999-11-12
*	Typo in x-symbol enable	David Aspinall	1999-11-12
*	Typo in x-symbol enable	David Aspinall	1999-11-12
*	Set version tag for new release.	David Aspinall	1999-11-12
*	Fixes for response buffer display, x-symbol, output formatting.	David Aspinall	1999-11-12
*	Attempted x-symbol improvements	David Aspinall	1999-11-11
*	Added option for sending qed output to goals buffer for Isabelle	David Aspinall	1999-11-11
*	small changes to plastic mode	Paul Callaghan	1999-11-11
*	Removed debug instruction.	David Aspinall	1999-11-11
*	Next round of fixups for font-lock and x-symbol.	David Aspinall	1999-11-11
*	Extensive fixes for x-symbol and font-lock.	David Aspinall	1999-11-11
*	Added proof-help command to help menu.	David Aspinall	1999-11-11
*	Patches for urgent message processing.	David Aspinall	1999-11-11
*	Added new command proof-goto-point, new default binding for C-c RET.	David Aspinall	1999-11-11
*	Set version tag for new release.	David Aspinall	1999-11-10
*	Docstring	David Aspinall	1999-11-10
*	Added some desparate patches for dead extent problem proof-done-advancing	David Aspinall	1999-11-10
*	Added URL for package to warning message. Prevent customize enabling if x-sy...	David Aspinall	1999-11-10
*	Added save-excursion.	David Aspinall	1999-11-10
*	Reorganized user options. Special new code for boolean settings.	David Aspinall	1999-11-10
*	fixed indentation bug: use proof-looking-at (proof-case-fold-search);	Makarius Wenzel	1999-11-10
*	proof-looking-at (subject to proof-case-fold-search);	Makarius Wenzel	1999-11-10
*	Fix decoding of shell input.	David Aspinall	1999-11-10
*	Moved proof-file-truename, proof-file-to-buffer, to proof.el	David Aspinall	1999-11-10
*	Moved utility function proof-files-to-buffers to proof.el. Fixed local var	David Aspinall	1999-11-10
*	Moved more utility functions here.	David Aspinall	1999-11-10
*	Set version tag for new release.	David Aspinall	1999-11-09
*	Generic support for x-symbol tuned up.	David Aspinall	1999-11-09
*	Bug again in call-interactively in proof-toggle-active-scripting.	David Aspinall	1999-11-09
*	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