proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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-06
\|
*	Fix defcustom types	David Aspinall	2009-09-05
\|
*	unicode-tokens-replace-unicode: new function to interactively replace ↵	David Aspinall	2009-09-05
\| \| \| \|	unicode chars in buffer
*	tokens-customizable-variables: new setting. All compositions to be more ↵	David Aspinall	2009-09-05
\| \| \| \|	general, and map char sequences into left-to-right placements
*	Separate standard tokens from extended set. Add missing compositions. Set ↵	David Aspinall	2009-09-05
\| \| \| \|	for Tokens customize menu
*	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	2009-09-05
\| \| \| \|	Ensure if shortcuts are customized, replacement-alist is reset too.
*	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	2009-09-05
\| \| \| \| \| \| \| \| \|	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)
*	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	2009-09-05
\| \| \| \|	output-fontify-enable removed
*	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-05
\|
*	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
\|