aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* 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
* Support mouse font selection in Emacs 22.Gravatar David Aspinall2009-08-31
* Experiments improving defaultsGravatar David Aspinall2009-08-31
* Disable large symbol font for nowGravatar David Aspinall2009-08-31
* Improve and extend font configuration. Add unicode-tokens-replace-shortcut-m...Gravatar David Aspinall2009-08-30
* Update autoloadsGravatar David Aspinall2009-08-28
* Add convenience function for profilingGravatar David Aspinall2009-08-28
* Add a fontGravatar David Aspinall2009-08-28
* Extend the available types of controls. Move fontsymb-properties here. Pret...Gravatar David Aspinall2009-08-28
* Disable "Set fontsets" sub menu for new EmacsenGravatar David Aspinall2009-08-28
* Change font-lock-keywords to use our own hacked `unicode-tokens-prepend-text-...Gravatar David Aspinall2009-08-28
* Enhanced font setting mechanism: allow a separate font for symbols,Gravatar David Aspinall2009-08-28
* Doc tweaks via checkdoc.Gravatar David Aspinall2009-08-20
* Add indirection for setting unicode tokens variables to add customize menu op...Gravatar David Aspinall2009-08-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 19:40:10 +0000