aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Clarify that eager message matches are now anchoredGravatar David Aspinall2009-09-06
* Remove use-specials-for-fontifyGravatar David Aspinall2009-09-06
* pg-response-maybe-erase: inhibit read onlyGravatar David Aspinall2009-09-06
* Bufhist erase when buffer writable.Gravatar David Aspinall2009-09-06
* Remove commentGravatar David Aspinall2009-09-06
* Doc fixes, and many defun -> defsubst to enhance compiled code.Gravatar David Aspinall2009-09-06
* Remove proof-shell-wakeup-char.Gravatar David Aspinall2009-09-06
* Remove proof-shell-wakeup-char, proof-shell-prompt-pattern.Gravatar David Aspinall2009-09-06
* Add menu moved from Coq menu. Make deactivating holes-mode forget all holes.Gravatar David Aspinall2009-09-06
* Simplify by removing ability to deal with restrictionsGravatar David Aspinall2009-09-06
* Make holes-abbrev-complete obey status of minor mode.Gravatar David Aspinall2009-09-06
* Moved doc of holes to holes-modeGravatar David Aspinall2009-09-06
* Cleanup code and use define-minor-mode.Gravatar David Aspinall2009-09-06
* set-span-keymap: only override local map, not replace it.Gravatar David Aspinall2009-09-06
* Fix parenoGravatar David Aspinall2009-09-06
* Update.Gravatar David Aspinall2009-09-06
* Update: mention scomint, remove old variables/functionsGravatar David Aspinall2009-09-06
* Remove proof-shell-wakeup-charGravatar David Aspinall2009-09-06
* DocsGravatar David Aspinall2009-09-06
* CleanupsGravatar David Aspinall2009-09-06
* More instrumentationGravatar David Aspinall2009-09-06
* Fix defcustom typesGravatar David Aspinall2009-09-05
* unicode-tokens-replace-unicode: new function to interactively replace unicode...Gravatar David Aspinall2009-09-05
* tokens-customizable-variables: new setting. All compositions to be more gener...Gravatar David Aspinall2009-09-05
* Separate standard tokens from extended set. Add missing compositions. Set ...Gravatar David Aspinall2009-09-05
* Minor optGravatar David Aspinall2009-09-05
* UpdateGravatar David Aspinall2009-09-05
* More sensible message for file dialogGravatar David Aspinall2009-09-05
* AutoloadGravatar David Aspinall2009-09-05
* Add characterp for Emacs 22Gravatar David Aspinall2009-09-05
* Updated from Isabelle2009Gravatar David Aspinall2009-09-05
* Clean compile, remove useless autoload settings.Gravatar David Aspinall2009-09-05
* Missing requireGravatar David Aspinall2009-09-05
* Deleted fileGravatar David Aspinall2009-09-05
* pg-protected-undo: Use key remapping instead of hacking function valuesGravatar David Aspinall2009-09-05
* Add shortcuts for (| and |).Gravatar David Aspinall2009-09-05
* Updated news and creditsGravatar David Aspinall2009-09-05
* UpdatedGravatar David Aspinall2009-09-05
* CommentGravatar David Aspinall2009-09-05
* Turn on proof-general-debug. Missing requireGravatar David Aspinall2009-09-05
* proof-set-queue-endpoints: no undo-make-selective-list (pg-protected-undo rep...Gravatar David Aspinall2009-09-05
* proof-allow-undo-in-read-only: change default to nil for new implementationGravatar David Aspinall2009-09-05
* Add protected undoGravatar David Aspinall2009-09-05
* Default `proof-full-annotation' to off to cause least surprise to upgradersGravatar David Aspinall2009-09-05
* Clean whitespaceGravatar David Aspinall2009-09-05
* replace-in-string-> replace-regexp-in-stringGravatar David Aspinall2009-09-05
* Add bug refGravatar David Aspinall2009-09-05
* Add custom groupGravatar David Aspinall2009-09-05
* Clean whitespaceGravatar David Aspinall2009-09-05
* Missing unused functionGravatar David Aspinall2009-09-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 20:17:25 +0000