aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2009-09-06Remove commentDavid Aspinall
2009-09-06Doc fixes, and many defun -> defsubst to enhance compiled code.David Aspinall
2009-09-06Remove proof-shell-wakeup-char.David Aspinall
2009-09-06Remove proof-shell-wakeup-char, proof-shell-prompt-pattern.David Aspinall
2009-09-06Add menu moved from Coq menu. Make deactivating holes-mode forget all holes.David Aspinall
2009-09-06Simplify by removing ability to deal with restrictionsDavid Aspinall
2009-09-06Make holes-abbrev-complete obey status of minor mode.David Aspinall
2009-09-06Moved doc of holes to holes-modeDavid Aspinall
2009-09-06Cleanup code and use define-minor-mode.David Aspinall
2009-09-06set-span-keymap: only override local map, not replace it.David Aspinall
2009-09-06Fix parenoDavid Aspinall
2009-09-06Update.David Aspinall
2009-09-06Update: mention scomint, remove old variables/functionsDavid Aspinall
2009-09-06Remove proof-shell-wakeup-charDavid Aspinall
2009-09-06DocsDavid Aspinall
2009-09-06CleanupsDavid Aspinall
2009-09-06More instrumentationDavid Aspinall
2009-09-05Fix defcustom typesDavid Aspinall
2009-09-05unicode-tokens-replace-unicode: new function to interactively replace unicode...David Aspinall
2009-09-05tokens-customizable-variables: new setting. All compositions to be more gener...David Aspinall
2009-09-05Separate standard tokens from extended set. Add missing compositions. Set ...David Aspinall
2009-09-05Minor optDavid Aspinall
2009-09-05UpdateDavid Aspinall
2009-09-05More sensible message for file dialogDavid Aspinall
2009-09-05AutoloadDavid Aspinall
2009-09-05Add characterp for Emacs 22David Aspinall
2009-09-05Updated from Isabelle2009David Aspinall
2009-09-05Clean compile, remove useless autoload settings.David Aspinall
2009-09-05Missing requireDavid Aspinall
2009-09-05Deleted fileDavid Aspinall
2009-09-05pg-protected-undo: Use key remapping instead of hacking function valuesDavid Aspinall
2009-09-05Add shortcuts for (| and |).David Aspinall
2009-09-05Updated news and creditsDavid Aspinall
2009-09-05UpdatedDavid Aspinall
2009-09-05CommentDavid Aspinall
2009-09-05Turn on proof-general-debug. Missing requireDavid Aspinall
2009-09-05proof-set-queue-endpoints: no undo-make-selective-list (pg-protected-undo rep...David Aspinall
2009-09-05proof-allow-undo-in-read-only: change default to nil for new implementationDavid Aspinall
2009-09-05Add protected undoDavid Aspinall
2009-09-05Default `proof-full-annotation' to off to cause least surprise to upgradersDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-05replace-in-string-> replace-regexp-in-stringDavid Aspinall
2009-09-05Add bug refDavid Aspinall
2009-09-05Add custom groupDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-05Missing unused functionDavid Aspinall
2009-09-05Whitespace and requireDavid Aspinall
2009-09-05Tidy whitespaceDavid Aspinall
2009-09-05resp-font-lock-keywords -> response-font-lock-keywords; output-fontify-enable...David Aspinall
2009-09-05CommentsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 14:52:59 +0000