proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
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
2009-09-04	Hide echo	David Aspinall

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	require 'cl -> eval-when-compile	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	Remove left over comint-isms	David Aspinall

2009-09-04	Refactoring point movement commands (in progress). Remove proof-no-command.	David Aspinall

2009-09-04	Support for Emacs22	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