proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	added nohup.out	David Aspinall	1999-11-12
\|
*	Updated	David Aspinall	1999-11-12
\|
*	Display qed message in goals buffer	David Aspinall	1999-11-12
\|
*	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 ↵	David Aspinall	1999-11-10
\| \| \| \|	x-symbol uninstalled.
*	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
\| \| \| \| \|	Made setting font-lock-always-fontify-immediately be buffer local in proof scripts (it's an ugly hack for comma-defontification).
*	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
\| \| \| \|	Turn on proof-x-symbol mode in proof script mode.
*	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
\|