aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Collapse)Author
2009-09-20unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayedDavid Aspinall
buffers to ensure font changes are seen (change for Mac)
2009-09-20Protect against error caseDavid Aspinall
2009-09-17NoteDavid Aspinall
2009-09-14span-give-warning: remove, unused.David Aspinall
span-write-warning: don't call FUN if inhibit-read-only.
2009-09-13Times -> Times New Roman, seems to have better substitution behaviourDavid Aspinall
under fontconfig (i.e. existence of smoothly rendering free fonts with same metrics)
2009-09-10TweaksDavid Aspinall
2009-09-09Add compatilibity for declare-function in Emacs 22.1David Aspinall
2009-09-08byte-compile-and-load on write is a bit too enthusiasticDavid Aspinall
2009-09-08Remove use of regexp-opt-depth and clarify doc ofDavid Aspinall
`unicode-tokens-token-match-regexp'. Fix typo in `proof-tactical-name-face'.
2009-09-07scomint-check-proc: make defsubstDavid Aspinall
2009-09-07Fix compiler warningsDavid Aspinall
2009-09-07Attempt byte compilation only for emacs lisp!David Aspinall
2009-09-07(C) dateDavid Aspinall
2009-09-07Use extended form of define-minor-modeDavid Aspinall
2009-09-07Add template auto-insert hookDavid Aspinall
2009-09-07Calculate token match regexp in a more complex way in an attempt toDavid Aspinall
allow for Coq token grammar. Alter composition of strings to place characters by baseline. Doc and menu notes about replacement functions.
2009-09-06Fix compile warnings, remove some XEmacs-ismsDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 08:47:33 +0000