proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2009-09-06	More instrumentation	David Aspinall

2009-09-05	Fix defcustom types	David Aspinall

2009-09-05	unicode-tokens-replace-unicode: new function to interactively replace ↵	David Aspinall
	unicode chars in buffer
2009-09-05	tokens-customizable-variables: new setting. All compositions to be more ↵	David Aspinall
	general, and map char sequences into left-to-right placements
2009-09-05	Separate standard tokens from extended set. Add missing compositions. Set ↵	David Aspinall
	for Tokens customize menu
2009-09-05	Minor opt	David Aspinall

2009-09-05	Update	David Aspinall

2009-09-05	More sensible message for file dialog	David Aspinall

2009-09-05	Autoload	David Aspinall

2009-09-05	Add characterp for Emacs 22	David Aspinall

2009-09-05	Updated from Isabelle2009	David Aspinall

2009-09-05	Clean compile, remove useless autoload settings.	David Aspinall

2009-09-05	Missing require	David Aspinall

2009-09-05	Deleted file	David Aspinall

2009-09-05	pg-protected-undo: Use key remapping instead of hacking function values	David Aspinall

2009-09-05	Add shortcuts for (\| and \|).	David Aspinall
	Ensure if shortcuts are customized, replacement-alist is reset too.
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