proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Fixes for response buffer display, x-symbol, output formatting.	David Aspinall	1999-11-12
*	New testing files	David Aspinall	1999-11-12
*	Updated	David Aspinall	1999-11-11
*	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
*	Improved documentation, more options added	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
*	Latest todos	David Aspinall	1999-11-10
*	Improvement of user options, change of terminology.	David Aspinall	1999-11-10
*	Junk code	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
*	Added a section on user option conventions. Changed var names	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
*	Electric (active) terminator is now a user option, does not need forcing here.	David Aspinall	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
*	Removed unsociable key-bindings.	David Aspinall	1999-11-10
*	Fixed info syntax errors	David Aspinall	1999-11-09
*	Set version tag for new release.	David Aspinall	1999-11-09
*	No unless noted	David Aspinall	1999-11-09
*	News about x-symbol	David Aspinall	1999-11-09
*	Generic support for x-symbol tuned up.	David Aspinall	1999-11-09
*	Fixes for x-symbol activation/deactivation strings	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
*	Test files for error in theory processing.	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
*	Added a section on debugging, mentioned proof-show-debug-messages.	David Aspinall	1999-11-08
*	Fixes to intro.	David Aspinall	1999-11-08
*	Updates for 3.0	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
*	Updated	David Aspinall	1999-11-08
*	Comments/messages.	David Aspinall	1999-11-08
*	Comments.	David Aspinall	1999-11-08