proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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.
*	comments	David Aspinall	1999-11-13
\|
*	Added ACTION to proof-shell-insert so proof-shell-insert-hook can test class ↵	David Aspinall	1999-11-12
\| \| \| \|	of command. (For Plastic)
*	Made display table stuff interactive.	David Aspinall	1999-11-12
\|
*	Fixes for response buffer display, x-symbol, output formatting.	David Aspinall	1999-11-12
\|
*	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
\|
*	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
\|
*	Patches for urgent message processing.	David Aspinall	1999-11-11
\|
*	Moved utility function proof-files-to-buffers to proof.el. Fixed local var	David Aspinall	1999-11-10
\|
*	Generic support for x-symbol tuned up.	David Aspinall	1999-11-09
\|
*	Provisional updates for x-symbol support (incomplete)	David Aspinall	1999-11-08
\|
*	update of x-symbol stuff by DvO;	Makarius Wenzel	1999-10-27
\|
*	Bug fix for proof-re-end-of-cmd (regexp-quote proof-terminal-string)	David Aspinall	1999-10-25
\|
*	docstring	David Aspinall	1999-10-21
\|
*	FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.	David Aspinall	1999-10-15
\|
*	Failed attempt to fix sentinel problem	David Aspinall	1999-10-15
\|
*	comments added.	David Aspinall	1999-10-15
\|
*	Disabled proliferation of proof shell buffers.	David Aspinall	1999-10-15
\|
*	Docstring	David Aspinall	1999-10-14
\|
*	Comments in proof-shell-filter.	David Aspinall	1999-10-06
\|
*	Speed optimizations, part I.	David Aspinall	1999-10-06
\|
*	Made new command proof-cd to cd to the directory of the current	David Aspinall	1999-10-06
\| \| \| \| \| \|	buffer. Added a version of it to proof-activate-scripting-hook. Removed cd from initialization sequence. Changed prover specifics accordingly.
*	Fixed coalescing of error messages: all error messages from	David Aspinall	1999-10-06
\| \| \| \|	the last command are now show. Added extra docs to clarify behaviour.
*	Added proof-tidy-response user option.	David Aspinall	1999-10-06
\|
*	Fix bug for proof-shell-leave-annotations-in-output.	David Aspinall	1999-10-01
\|
*	Unhappily added proof-shell-leave-annotations-in-output hack.	David Aspinall	1999-09-29
\|
*	Extended documentation for proof-shell-restart.	David Aspinall	1999-09-29
\|
*	Re-enabled proof-by-pointing for testing purposes only. Fixed a bug.	David Aspinall	1999-09-29
\|
*	Improved proof-copy-span and renamed to proof-mouse-track-insert.	David Aspinall	1999-09-29
\| \| \| \| \|	Now will insert into any buffer at point, or behave as mouse-track-insert when called over a non-span (or non-vanilla command span).
*	Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to ↵	David Aspinall	1999-09-29
\| \| \| \|	C-button1
*	More reorganizing of menus and keybindings with aim of usability in mind.	David Aspinall	1999-09-28
\|
*	Reorganization of menus: made a single menu but flattened Scripting submenu.	David Aspinall	1999-09-28
\|
*	Trivial.	David Aspinall	1999-09-23
\|
*	proof-completed-regexp: match number 1 is response text;	Makarius Wenzel	1999-09-22
\|
*	Whitespace	David Aspinall	1999-09-22
\|
*	Comment fix.	David Aspinall	1999-09-21
\| \| \| \|	Fix for FSF Emacs.
*	Robustification so that new instances are easier to add	David Aspinall	1999-09-21
\| \| \| \|	(allowed a bunch of regexps to be unset, safely).
*	proof-shell-grab-lock runs proof-state-change-hook.	David Aspinall	1999-09-21
\| \| \| \| \| \| \|	This results in some flickering of the toolbar (buttons disabled while region is pink), but is The Right Thing. Removed "Inferior" from buffer names.
*	Callback for proof-shell-done-invisible now runs proof-state-change-hook.	David Aspinall	1999-09-21
\|
*	Fix so that buffer names are shorter (esp for Coq).	David Aspinall	1999-09-13
\| \| \| \|	A fixed version of Patrick's earlier patch.
*	tuned x-symbol setup (DvO);	Makarius Wenzel	1999-09-09
\|
*	FIXME to add menu to goals buffer, to match response buffer menu.	David Aspinall	1999-08-23
\|
*	Fix for process kill timeout bug.	David Aspinall	1999-08-20
\|
*	prefer proof-shell-interrupt-regexp over proof-shell-error-regexp	Makarius Wenzel	1999-08-20
\| \| \| \|	(interrupts may appear like error messages in Isabelle/Isar);
*	Fix for XEmacs 21	David Aspinall	1999-08-20
\|
*	Reverted change to Inferior buffer's name, it fails on simple	David Aspinall	1999-07-22
\| \| \| \|	case of proof-prog-name="isabelle", for example.
*	unkillable buffer bugfix	Patrick Loiseleur	1999-06-21
\|
*	Bugfixes in proof-shell-exit and proof-shell-kill-function	Patrick Loiseleur	1999-06-14
\|