proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2009-09-04	Define a cleanup function to run intermittently or by hand, avoiding ↵	David Aspinall
	pg-remove-specials.
2009-09-04	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
	proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
2009-09-04	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
	proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
2009-09-04	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
	Remove timeout from About usage to avoid confusion with disappearing window with mouse events.
2009-09-04	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-03	Shorten startup message	David Aspinall

2009-09-01	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
	proof-mode-for-script seems undefined
2009-08-31	Unnecessary test	David Aspinall

2009-08-31	Update docs	David Aspinall

2009-08-31	Set version tag for new release.	David Aspinall

2009-08-29	Cleanup of interactive point moving functions (in progress)	David Aspinall

2009-08-28	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-25	Add menu entry for setting proof assistant command	David Aspinall

2009-08-20	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
	Experiment with `process-adaptive-read-buffering' Do not run `proof-shell-insert-hook' if input string is empty or single CR.
2009-08-20	proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywords	David Aspinall

2009-08-19	proof-shell-insert: add scriptspan argument, to pass source positions to ↵	David Aspinall
	proof-shell-insert-hook
2009-08-19	Docstrings	David Aspinall

2009-08-19	proof-splice-separator: ignore nil entries for convenience	David Aspinall

2009-08-19	Bump year	David Aspinall

2009-08-18	Note	David Aspinall

2009-08-17	Set version tag for new release.	David Aspinall

2009-08-17	Move proof-interrupt-process to proof-shell. Add pending interrupt ↵	David Aspinall
	behaviour. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/179
2009-08-17	Tidy	David Aspinall

2009-08-17	Fix proof-next-error key binding	David Aspinall

2009-08-17	Update doc	David Aspinall

2009-08-17	proof-looking-at-syntactic-context: allow proof assistant	David Aspinall
	version to override default.
2009-08-17	Only move proof-overlay-arrow once it's got a position.	David Aspinall