proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update	David Aspinall	2009-09-05
\|
*	pg-protected-undo: Use key remapping instead of hacking function values	David Aspinall	2009-09-05
\|
*	Comment	David Aspinall	2009-09-05
\|
*	proof-set-queue-endpoints: no undo-make-selective-list (pg-protected-undo ↵	David Aspinall	2009-09-05
\| \| \| \| \| \| \| \| \|	replaces) proof-done-advancing: remove spurious first case proof-assert-until-point: don't move point, restore intuitive behaviour when on whitespace between unprocessed commands (process preceding commands only)
*	proof-allow-undo-in-read-only: change default to nil for new implementation	David Aspinall	2009-09-05
\|
*	Add protected undo	David Aspinall	2009-09-05
\|
*	Default `proof-full-annotation' to off to cause least surprise to upgraders	David Aspinall	2009-09-05
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Missing unused function	David Aspinall	2009-09-05
\|
*	Whitespaces and comments	David Aspinall	2009-09-05
\|
*	replace-in-string -> replace-regexp-in-string	David Aspinall	2009-09-04
\|
*	Simplify Info-directory handling	David Aspinall	2009-09-04
\|
*	Alternative implementation of pg-remove-specials which does not introduce ↵	David Aspinall	2009-09-04
\| \| \| \|	restriction.
*	Define a cleanup function to run intermittently or by hand, avoiding ↵	David Aspinall	2009-09-04
\| \| \| \|	pg-remove-specials.
*	Remove proof-shell-prompt-pattern, no longer used.	David Aspinall	2009-09-04
\|
*	Add proof-script-evaluate-elisp-comment-regexp security hole.	David Aspinall	2009-09-04
\|
*	Require on scomint in right place	David Aspinall	2009-09-04
\|
*	proof-file-to-buffer -> find-buffer-visiting	David Aspinall	2009-09-04
\|
*	proof-files-to-buffers, proof-locate-executable: simplify	David Aspinall	2009-09-04
\| \| \| \| \|	proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
*	Buglets in proof-process-electric-terminator, proof-maybe-follow-locked-end	David Aspinall	2009-09-04
\|
*	proof-looking-at-syntactic-context: moved to proof-utils because of macro use	David Aspinall	2009-09-04
\|
*	proof-files-to-buffers, proof-locate-executable: simplify	David Aspinall	2009-09-04
\| \| \| \| \|	proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
*	Remove configuration of obsolete package function-menu (aka "fume")	David Aspinall	2009-09-04
\|
*	Remove configuration of obsolete package function-menu (aka "fume")	David Aspinall	2009-09-04
\|
*	Possible bug in interrupt signaling discovered	David Aspinall	2009-09-04
\|
*	capitalisation	David Aspinall	2009-09-04
\|
*	Further simplification	David Aspinall	2009-09-04
\|
*	Simplify splash using view-mode and newer Emacs variables.	David Aspinall	2009-09-04
\| \| \| \| \|	Remove timeout from About usage to avoid confusion with disappearing window with mouse events.
*	Refactoring point movement commands (in progress). Remove proof-no-command.	David Aspinall	2009-09-04
\|
*	Remove proof-no-command	David Aspinall	2009-09-04
\|
*	comment	David Aspinall	2009-09-04
\|
*	Use scomint instead of comint	David Aspinall	2009-09-04
\|
*	Shorten startup message	David Aspinall	2009-09-03
\|
*	Set version tag for new release.	David Aspinall	2009-09-01
\|
*	Remove some old X-Symbol references; update docs.	David Aspinall	2009-09-01
\|
*	Comment about GNU Emacs port	David Aspinall	2009-09-01
\|
*	Fixed a parenthesis bug in pg-pbrpml.el + compatibility with 3.7 where ↵	Christophe Raffalli	2009-09-01
\| \| \| \|	proof-mode-for-script seems undefined
*	Unnecessary test	David Aspinall	2009-08-31
\|
*	Update docs	David Aspinall	2009-08-31
\|
*	Set version tag for new release.	David Aspinall	2009-08-31
\|
*	Cleanup of interactive point moving functions (in progress)	David Aspinall	2009-08-29
\|
*	pg-create-in-span-context-menu: fix nesting	David Aspinall	2009-08-28
\|
*	Fix compile warnings	David Aspinall	2009-08-28
\|
*	Update autoloads	David Aspinall	2009-08-28
\|
*	Set version tag for new release.	David Aspinall	2009-08-28
\|
*	Clean up and rearrange variable declaration files	David Aspinall	2009-08-28
\|
*	Add menu entry for setting proof assistant command	David Aspinall	2009-08-25
\|
*	Doc tweaks via checkdoc.	David Aspinall	2009-08-20
\|
*	proof-one-command-per-line: change default, use in proof-insert-pbp-command.	David Aspinall	2009-08-20
\|
*	Documentation improvements.	David Aspinall	2009-08-20
\| \| \| \| \| \|	Experiment with `process-adaptive-read-buffering' Do not run `proof-shell-insert-hook' if input string is empty or single CR.