proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2009-09-06	pg-response-maybe-erase: inhibit read only	David Aspinall

2009-09-06	Bufhist erase when buffer writable.	David Aspinall

2009-09-06	Remove comment	David Aspinall

2009-09-06	Doc fixes, and many defun -> defsubst to enhance compiled code.	David Aspinall

2009-09-06	Remove proof-shell-wakeup-char.	David Aspinall
	Clarify purpose and meaning of `proof-shell-end-goals-regexp'.
2009-09-06	Remove proof-shell-wakeup-char, proof-shell-prompt-pattern.	David Aspinall
	Unset proof-shell-end-goals-regexp.
2009-09-06	Add menu moved from Coq menu. Make deactivating holes-mode forget all holes.	David Aspinall

2009-09-06	Simplify by removing ability to deal with restrictions	David Aspinall
	and a check for process liveness.
2009-09-06	Make holes-abbrev-complete obey status of minor mode.	David Aspinall

2009-09-06	Moved doc of holes to holes-mode	David Aspinall

2009-09-06	Cleanup code and use define-minor-mode.	David Aspinall

2009-09-06	set-span-keymap: only override local map, not replace it.	David Aspinall

2009-09-06	Fix pareno	David Aspinall

2009-09-06	Update.	David Aspinall

2009-09-06	Update: mention scomint, remove old variables/functions	David Aspinall

2009-09-06	Remove proof-shell-wakeup-char	David Aspinall

2009-09-06	Docs	David Aspinall

2009-09-06	Cleanups	David Aspinall

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