proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Added pbp-yank-subterm, changed mouse bindings for goals buffer.	David Aspinall	1999-11-19
*	Automatically generate special-display-regexps entry, and	David Aspinall	1999-11-18
*	Bind mouse 2 as well as mouse 3 for pbp	David Aspinall	1999-11-17
*	Added some new code from another patch, but commented out for now.	David Aspinall	1999-11-17
*	Fix mouse bindings to be different for FSF/XEmacs versions.	David Aspinall	1999-11-17
*	Fix a few bugs/probs shown up by byte-compiling.	David Aspinall	1999-11-17
*	Strip CRs from minibuf messages for FSF's sake to remove ^Js. Attempt to fi...	David Aspinall	1999-11-16
*	Added proof-mouse-goto-point, moved proof-mouse-track-insert to proof-script	David Aspinall	1999-11-16
*	Fix to shell filter for non-wakeup char instances of PG.	David Aspinall	1999-11-16
*	docstring	David Aspinall	1999-11-15
*	proof-grab-lock calls proof-shell-ready-prover with queuemode arg. Docstring...	David Aspinall	1999-11-15
*	Fix for FSF Emacs. Added timeout arg to proof-shell-wait.	David Aspinall	1999-11-15
*	Many robustness improvements for error and interrupt handling:	David Aspinall	1999-11-14
*	proof-nested-goals-allowed -> proof-completed-proof-behaviour	David Aspinall	1999-11-14
*	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
*	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
*	Fixed coalescing of error messages: all error messages from	David Aspinall	1999-10-06
*	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
*	Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to C-bu...	David Aspinall	1999-09-29
*	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