proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Extra arg to proof-splash-display-screen.	David Aspinall	2000-05-11
\|
*	Fixup loading.	David Aspinall	2000-05-09
\|
*	Removed autoloads, util functions.	David Aspinall	2000-05-09
\|
*	Moved code into proof-system and proof-utils.	David Aspinall	2000-05-05
\|
*	Added proof-assistant-keymap and commands for defining insert keys.	David Aspinall	2000-05-02
\|
*	Helper macros.	David Aspinall	2000-05-01
\|
*	Update copyright dates, comments.	David Aspinall	2000-04-04
\|
*	Added return value for proof-shell-maybe-erase-response. Bug report msg.	David Aspinall	2000-03-13
\|
*	Fix to warn function to use format args.	David Aspinall	2000-03-08
\|
*	Add definition of warn function for FSF compatibility.	David Aspinall	2000-02-28
\|
*	Attempted fix for thy-mode X-Symbol problems. Still buggy.	David Aspinall	2000-01-12
\|
*	More docstring for proof-customize-toggle.	David Aspinall	1999-11-24
\|
*	Docstrings.	David Aspinall	1999-11-24
\|
*	Renamed proof-auto-delete-windows -> proof-delete-empty-windows	David Aspinall	1999-11-22
\|
*	Fix so clicking on url works in bug report	David Aspinall	1999-11-22
\|
*	Fix proof-try-require for FSF Emacs.	David Aspinall	1999-11-19
\|
*	Moved response buffer code here.	David Aspinall	1999-11-18
\| \| \| \| \|	Moved -output-fontify-toggle away. Made proof-switch-to-buffer more robust
*	Name change proof-window-dedicated -> proof-dont-switch-windows.	David Aspinall	1999-11-17
\|
*	Docstrings, bug report msg. Added proof-warn-if-unset.	David Aspinall	1999-11-16
\|
*	Repaired FSF font-locking. Define toggler for output hilite enable.	David Aspinall	1999-11-15
\|
*	Moved proof-switch-to-buffer here from proof-script.el	David Aspinall	1999-11-15
\|
*	Some new macros. FSF fix for font-lock. Failed attempt not to turn on ↵	David Aspinall	1999-11-15
\| \| \| \|	font-lock everywhere.
*	Many robustness improvements for error and interrupt handling:	David Aspinall	1999-11-14
\| \| \| \| \| \| \| \| \| \| \| \|	- Introduce proof-shell-error-or-interrupt-seen flag set after an error or interrupt was seen (in fact, on every call to proof-release-lock). Examine it in proof-activate-scripting to see whether hooks succeeded in activating scripting. - Test in the shell filter for the lock being held yet nothing in the action list, and clear the lock if so. Gets rid of repetetive proof-shell-busy messages when the queue is empty (for errors during development, or nasty uses of C-g) - Add a timeout to proof-shell-wait (not used yet)
*	proof-nested-goals-allowed -> proof-completed-proof-behaviour	David Aspinall	1999-11-14
\| \| \| \| \|	Patch for more flexible handling of closing goal...save regions after proof has been completed.
*	Added new face for debug messages	David Aspinall	1999-11-13
\|
*	Notes about font-lock management.	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
\|
*	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
\|
*	Reorganized user options. Special new code for boolean settings.	David Aspinall	1999-11-10
\|
*	Moved more utility functions here.	David Aspinall	1999-11-10
\|
*	Generic support for x-symbol tuned up.	David Aspinall	1999-11-09
\|
*	Docstring for proof-included-files.	David Aspinall	1999-11-08
\|
*	Copyright messages updated. Autoloads for x-symbol.	David Aspinall	1999-11-08
\|
*	update of x-symbol stuff by DvO;	Makarius Wenzel	1999-10-27
\|
*	Made proof-warning and friends take arg list.	David Aspinall	1999-10-25
\|
*	face arg for proof-response-buffer-display is now optional	David Aspinall	1999-10-06
\| \| \| \|	added proof-message, proof-warning, proof-debug here.
*	Fix for FSF: it should load proof-toolbar too.	David Aspinall	1999-09-28
\|
*	Fix for toolbar disable for FSF Emacs.	David Aspinall	1999-08-23
\|
*	proof-version -> proof-general-version	David Aspinall	1999-08-23
\|
*	Added PROOFGENERAL_ASSISTANTS. proof-site should not need to be edited.	David Aspinall	1999-02-22
\|
*	Beginnings of x-symbol support.	David Aspinall	1998-12-18
\|
*	Improved documentation of proof-included-files-list.	David Aspinall	1998-12-15
\|
*	Reordered require of cl. Changed deflocal definition.	David Aspinall	1998-12-14
\|
*	Tweaked headings for bug report	David Aspinall	1998-12-11
\|
*	Added proof-submit-bug-report	David Aspinall	1998-12-11
\|
*	Made point stay at top of goals buffer and bottom of response buffer	David Aspinall	1998-12-10
\|
*	Format fix	David Aspinall	1998-11-26
\|