aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Collapse)Author
2009-09-06proof-buffer-syntactic-context-emulate: use caching syntax-ppssDavid Aspinall
instead of parse-partial-sexp
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
and a check for process liveness.
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 ↵David Aspinall
unicode chars in buffer
2009-09-05tokens-customizable-variables: new setting. All compositions to be more ↵David Aspinall
general, and map char sequences into left-to-right placements
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
Fix interface to custom, saved faces are in .emacs, not current buffer(!).
2009-08-31Experiments improving defaultsDavid Aspinall
2009-08-31Disable large symbol font for nowDavid Aspinall
2009-08-30Improve and extend font configuration. Add ↵David Aspinall
unicode-tokens-replace-shortcut-match.
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. ↵David Aspinall
Prettify the token table.
2009-08-28Disable "Set fontsets" sub menu for new EmacsenDavid Aspinall
2009-08-28Change font-lock-keywords to use our own hacked ↵David Aspinall
`unicode-tokens-prepend-text-property' instead of `font-lock-prepend-text-property' which gave ill formed property values for 'face. Still not clear if that function is faulty or usage was not as intended. Anyway, this repairs outstanding merge properties problem so that <bold><italic>foo</italic></bold> works as expected. Also: fix key binding for unicode-tokens-show-controls so is usable.
2009-08-28Enhanced font setting mechanism: allow a separate font for symbols,David Aspinall
and add user-level functions to set the configured fonts. unicode-tokens-delete-token-near-point: add this user-level function
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 20:28:18 +0000