proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Comments	David Aspinall	2010-08-17
*	Clean up handling of pending interrupts, remove experimental proof-shell-inte...	David Aspinall	2010-08-17
*	Autosend: prevent repeatedly sending erroneous commands (in progress)	David Aspinall	2010-08-17
*	Remove duplicate declaration	David Aspinall	2010-08-17
*	Make the modeline indicator change colour. Old XEmacs behaviour restored. Q...	David Aspinall	2010-08-17
*	Fix compile errors, update tags	David Aspinall	2010-08-16
*	proof-issue-new-command: remove spurious goto-char (ref Trac #330)	David Aspinall	2010-08-15
*	Preliminary and experimental support for automatically sending commands.	David Aspinall	2010-08-15
*	proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex...	David Aspinall	2010-08-15
*	Set version tag for new release.	David Aspinall	2010-08-15
*	proof-activate-scripting: make sure can succeed when	David Aspinall	2010-08-13
*	Extend testing	David Aspinall	2010-08-11
*	Make proof-boring-face a bit darker again so almost visible.	David Aspinall	2010-08-11
*	Move some var+macro to fix compilation	David Aspinall	2010-08-11
*	Revert to 10.1 version of splash, with enhancements.	David Aspinall	2010-08-11
*	only run custom font-lock-fontify-syntactically-region on PG buffers	David Aspinall	2010-08-11
*	Support custom syntactic fontification. Split out pa macros.	David Aspinall	2010-08-11
*	Remove double provide	David Aspinall	2010-08-11
*	proof-assert-electric-terminator: give more user-friendly error message if un...	David Aspinall	2010-08-08
*	Add timestamps. Fix random jump spurious error.	David Aspinall	2010-08-08
*	Checkdoc cleanups	David Aspinall	2010-08-08
*	proof-allow-undo-in-read-only: remove, use proof-strict-read-only instead.	David Aspinall	2010-08-03
*	pg-protected-undo: remove separate `proof-allow-undo-in-read-only' and	David Aspinall	2010-08-03
*	proof-assert-electric-terminator: fix logic for inserting at buffer end	David Aspinall	2010-08-03
*	Simplify messaging code. Make sure random jumps do something. Fix assert-pr...	David Aspinall	2010-08-03
*	Improve printing of test parameters.	David Aspinall	2010-08-03
*	Temporarily disable splash	David Aspinall	2010-08-03
*	Move key binding for proof assistant keymap (fixes compilation bug)	David Aspinall	2010-08-03
*	Fix compile	David Aspinall	2010-08-03
*	Resurrect autotest framework	David Aspinall	2010-08-03
*	save-some-buffers: only offer to save proof script buffers	David Aspinall	2010-08-03
*	proof-shell-wait, proof-shell-kill-function: avoid use of sit-for.	David Aspinall	2010-08-03
*	proof-deftoggle-fn: make ARG optional as suggested by docstring	David Aspinall	2010-08-03
*	Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.	David Aspinall	2010-08-03
*	proof-full-annotation: default to t; advanced users may turn off.	David Aspinall	2010-08-03
*	Add pg-protected-undo improved version due to Erik Martin-Dorel	David Aspinall	2010-08-02
*	Set version tag for new release.	David Aspinall	2010-07-08
*	Cleanups for save-excursion to avoid warnings in latest Emacs versions	David Aspinall	2010-07-08
*	`proof-shell-process-urgent-messages': fix to avoid duplicated messages (Trac...	David Aspinall	2010-06-27
*	Set version tag for new release.	David Aspinall	2009-12-04
*	docstring	David Aspinall	2009-12-04
*	Updated	David Aspinall	2009-12-04
*	Rework script span element hiding to avoid buffer-invisibility-spec. Add com...	David Aspinall	2009-12-03
*	Fix to last patch for face saving (untested still).	David Aspinall	2009-12-02
*	Better approximation of restoring old highlighting, by caching saved face.	David Aspinall	2009-12-02
*	Add proof-sticky-errors to quick options menu.	David Aspinall	2009-12-02
*	Set version tag for new release.	David Aspinall	2009-12-01
*	Remove mention of `proof-script-use-old-parser'.	David Aspinall	2009-12-01
*	proof-splice-separator -> mapconcat builtin	David Aspinall	2009-12-01
*	Update	David Aspinall	2009-12-01