aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2010-08-19Default to non-italic symbol font variant for Mac OS X. Simplify font changi...David Aspinall
2010-08-18unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display insteadDavid Aspinall
2010-08-18Tune profilingDavid Aspinall
2010-08-18Load elp firstDavid Aspinall
2010-08-18hack to ELP to give better readability of profile results, in millisecondsDavid Aspinall
2010-08-11unicode-tokens-symbol-font-face: default to italic and support settingDavid Aspinall
2010-08-03span-mapcar-spans-inorder: added for pg-movie productionDavid Aspinall
2010-07-08save-excursion -> with-temp-bufferDavid Aspinall
2010-06-28Remove debug messageDavid Aspinall
2010-06-27Experimental backwards delete char. See Trac #290David Aspinall
2009-12-01tidyDavid Aspinall
2009-12-01Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311David Aspinall
2009-12-01spacesDavid Aspinall
2009-12-01CleanDavid Aspinall
2009-10-01unicode-tokens-fontsymb-properties: use font-lock faces instead of proof- ones.David Aspinall
2009-09-30Conforming Menu TitlesDavid Aspinall
2009-09-30Conforming Menu TitlesDavid Aspinall
2009-09-28Rename dec->keyword. Update doc for quail input language.David Aspinall
2009-09-21Add customize group unicode-tokens-options to faces top-level group.David Aspinall
2009-09-21unicode-tokens-add-help-echo: add this customize optionDavid Aspinall
2009-09-21Functions to add buttons to buffer (initial attempt)David Aspinall
2009-09-20unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayedDavid Aspinall
2009-09-20Protect against error caseDavid Aspinall
2009-09-17NoteDavid Aspinall
2009-09-14span-give-warning: remove, unused.David Aspinall
2009-09-13Times -> Times New Roman, seems to have better substitution behaviourDavid Aspinall
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
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:36:56 +0000