proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	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
\|
*	Updated multiple file notes.	David Aspinall	1999-11-08
\|
*	New file.	David Aspinall	1999-11-08
\|
*	Note about release 3.0.	David Aspinall	1999-11-08
\|
*	Updated	David Aspinall	1999-11-08
\|
*	Provisional updates for x-symbol support (incomplete)	David Aspinall	1999-11-08
\|
*	Copyright messages updated.	David Aspinall	1999-11-08
\|
*	Typo.	David Aspinall	1999-11-08
\|