aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2009-09-06Fix compile warnings, remove some XEmacs-ismsDavid Aspinall
2009-09-06proof-buffer-syntactic-context-emulate: use caching syntax-ppssDavid Aspinall
2009-09-06WhitespaceDavid Aspinall
2009-09-06Fix compile warningsDavid Aspinall
2009-09-06Add after save hook and convenient key binding to compile on saveDavid Aspinall
2009-09-06Supress spurious warningsDavid Aspinall
2009-09-06More defun->defsubst changesDavid Aspinall
2009-09-06span-mapc-spans for span-delete-spansDavid Aspinall
2009-09-06Rearrange for scopingDavid 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-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-06CleanupsDavid Aspinall
2009-09-06More instrumentationDavid 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-05AutoloadDavid Aspinall
2009-09-05Add characterp for Emacs 22David Aspinall
2009-09-05Clean compile, remove useless autoload settings.David Aspinall
2009-09-05Turn on proof-general-debug. Missing requireDavid Aspinall
2009-09-05Tidy whitespaceDavid Aspinall
2009-09-05CommentsDavid Aspinall
2009-09-05Missing declarationDavid Aspinall
2009-09-05Make bug references clickableDavid Aspinall
2009-09-04replace-in-string -> replace-regexp-in-stringDavid Aspinall
2009-09-04Disable fontification of input and output. Fix C-c C-c bindingDavid Aspinall
2009-09-04Disable buffer truncation for nowDavid Aspinall
2009-09-04Profile more of the codeDavid Aspinall
2009-09-04Define some keys.David Aspinall
2009-09-04Remove left over comint-ismsDavid Aspinall
2009-09-04Support for Emacs22David Aspinall
2009-09-04Remove further unnecessary compatibility code.David Aspinall
2009-09-04Profile settingsDavid Aspinall
2009-09-04Trimmed down comintDavid Aspinall
2009-09-01Remove some old X-Symbol references.David Aspinall
2009-09-01Attempt to make compatible with Mac OS X port of Emacs 23.David Aspinall
2009-08-31Fix unicode-tokens-script-font-faceDavid Aspinall
2009-08-31Support mouse font selection in Emacs 22.David Aspinall
2009-08-31Experiments improving defaultsDavid Aspinall
2009-08-31Disable large symbol font for nowDavid Aspinall
2009-08-30Improve and extend font configuration. Add unicode-tokens-replace-shortcut-m...David Aspinall
2009-08-28Update autoloadsDavid Aspinall
2009-08-28Add convenience function for profilingDavid Aspinall
2009-08-28Add a fontDavid Aspinall
2009-08-28Extend the available types of controls. Move fontsymb-properties here. Pret...David Aspinall
2009-08-28Disable "Set fontsets" sub menu for new EmacsenDavid Aspinall
2009-08-28Change font-lock-keywords to use our own hacked `unicode-tokens-prepend-text-...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:57:55 +0000