proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2009-09-05	Updated news and credits	David Aspinall

2009-09-05	Updated	David Aspinall

2009-09-05	Comment	David Aspinall

2009-09-05	Turn on proof-general-debug. Missing require	David Aspinall

2009-09-05	proof-set-queue-endpoints: no undo-make-selective-list (pg-protected-undo ↵	David Aspinall
	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)
2009-09-05	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	replace-in-string-> replace-regexp-in-string	David Aspinall

2009-09-05	Add bug ref	David Aspinall

2009-09-05	Add custom group	David Aspinall

2009-09-05	Clean whitespace	David Aspinall

2009-09-05	Missing unused function	David Aspinall

2009-09-05	Whitespace and require	David Aspinall

2009-09-05	Tidy whitespace	David Aspinall

2009-09-05	resp-font-lock-keywords -> response-font-lock-keywords; ↵	David Aspinall
	output-fontify-enable removed
2009-09-05	Comments	David Aspinall

2009-09-05	Add tidy target (cleans whitespace)	David Aspinall

2009-09-05	Whitespaces and comments	David Aspinall

2009-09-05	Missing declaration	David Aspinall

2009-09-05	Make bug references clickable	David Aspinall

2009-09-04	replace-in-string -> replace-regexp-in-string	David Aspinall

2009-09-04	Simplify Info-directory handling	David Aspinall

2009-09-04	Fix require	David Aspinall

2009-09-04	* empty log message *	David Aspinall

2009-09-04	Alternative implementation of pg-remove-specials which does not introduce ↵	David Aspinall
	restriction.
2009-09-04	Define a cleanup function to run intermittently or by hand, avoiding ↵	David Aspinall
	pg-remove-specials.
2009-09-04	Disable fontification of input and output. Fix C-c C-c binding	David Aspinall

2009-09-04	Add option to do command wrapping	David Aspinall

2009-09-04	some results	David Aspinall

2009-09-04	some profiling records	David Aspinall

2009-09-04	Remove proof-shell-prompt-pattern, no longer used.	David Aspinall

2009-09-04	Disable buffer truncation for now	David Aspinall

2009-09-04	Version	David Aspinall

2009-09-04	Add proof-script-evaluate-elisp-comment-regexp security hole.	David Aspinall

2009-09-04	Add Elisp timings	David Aspinall

2009-09-04	Timing	David Aspinall

2009-09-04	Profile more of the code	David Aspinall

2009-09-04	Updated	David Aspinall

2009-09-04	fixed theory name;	Makarius Wenzel

2009-09-04	Add timing messages	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	Add text_raw	David Aspinall

2009-09-04	Define some keys.	David Aspinall

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