aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Add compatilibity for declare-function in Emacs 22.1Gravatar David Aspinall2009-09-09
* byte-compile-and-load on write is a bit too enthusiasticGravatar David Aspinall2009-09-08
* Remove use of regexp-opt-depth and clarify doc ofGravatar David Aspinall2009-09-08
* scomint-check-proc: make defsubstGravatar David Aspinall2009-09-07
* Fix compiler warningsGravatar David Aspinall2009-09-07
* Attempt byte compilation only for emacs lisp!Gravatar David Aspinall2009-09-07
* (C) dateGravatar David Aspinall2009-09-07
* Use extended form of define-minor-modeGravatar David Aspinall2009-09-07
* Add template auto-insert hookGravatar David Aspinall2009-09-07
* Calculate token match regexp in a more complex way in an attempt toGravatar David Aspinall2009-09-07
* Fix compile warnings, remove some XEmacs-ismsGravatar David Aspinall2009-09-06
* proof-buffer-syntactic-context-emulate: use caching syntax-ppssGravatar David Aspinall2009-09-06
* WhitespaceGravatar David Aspinall2009-09-06
* Fix compile warningsGravatar David Aspinall2009-09-06
* Add after save hook and convenient key binding to compile on saveGravatar David Aspinall2009-09-06
* Supress spurious warningsGravatar David Aspinall2009-09-06
* More defun->defsubst changesGravatar David Aspinall2009-09-06
* span-mapc-spans for span-delete-spansGravatar David Aspinall2009-09-06
* Rearrange for scopingGravatar 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
* 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
* CleanupsGravatar David Aspinall2009-09-06
* More instrumentationGravatar David Aspinall2009-09-06
* 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
* AutoloadGravatar David Aspinall2009-09-05
* Add characterp for Emacs 22Gravatar David Aspinall2009-09-05
* Clean compile, remove useless autoload settings.Gravatar David Aspinall2009-09-05
* Turn on proof-general-debug. Missing requireGravatar David Aspinall2009-09-05
* Tidy whitespaceGravatar David Aspinall2009-09-05
* CommentsGravatar David Aspinall2009-09-05
* Missing declarationGravatar David Aspinall2009-09-05
* Make bug references clickableGravatar David Aspinall2009-09-05
* replace-in-string -> replace-regexp-in-stringGravatar David Aspinall2009-09-04
* Disable fontification of input and output. Fix C-c C-c bindingGravatar David Aspinall2009-09-04
* Disable buffer truncation for nowGravatar David Aspinall2009-09-04
* Profile more of the codeGravatar David Aspinall2009-09-04
* Define some keys.Gravatar David Aspinall2009-09-04
* Remove left over comint-ismsGravatar David Aspinall2009-09-04
* Support for Emacs22Gravatar David Aspinall2009-09-04
* Remove further unnecessary compatibility code.Gravatar David Aspinall2009-09-04
* Profile settingsGravatar David Aspinall2009-09-04
* Trimmed down comintGravatar David Aspinall2009-09-04
* Remove some old X-Symbol references.Gravatar David Aspinall2009-09-01
* Attempt to make compatible with Mac OS X port of Emacs 23.Gravatar David Aspinall2009-09-01
* Fix unicode-tokens-script-font-faceGravatar David Aspinall2009-08-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 00:28:03 +0000