aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Collapse)Author
2011-10-13Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵David Aspinall
interactive-p with called-interactively-p)
2011-04-18DocstringDavid Aspinall
2011-02-23Support delete selection mode on remapped delete commandsDavid Aspinall
Update some of font alias choices.
2011-01-31Make proof-assistant-settings follow currently available dynamic settings, ↵David Aspinall
and keep possibly customized variables bound. Closes Trac #387.
2011-01-26ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).David Aspinall
2011-01-25Remove dead codeDavid Aspinall
2011-01-24- change 'span-delete-action in 'span-delete-actions, which isHendrik Tews
now a list of functions to be run when the span is deleted. Use span-add-delete-action to add a delete action.
2010-11-15Summary: New indentation code using SMIEStefan Monnier
* coq/coq.el (coq-build-prog-args): Avoid meaningless \- escape sequence. (coq-use-smie): New custom var. (coq-smie-grammar): New var. (coq-smie-rules): New function. (coq-guess-or-ask-for-string): Use use-region-p. (coq-mode-config): Use smie-setup if available. * lib/proof-compat.el (use-region-p): Provide fallback definition.
2010-10-01Failed attempt to fix font lock customizations for elispDavid Aspinall
2010-10-01span-make-modifying-removing-span: add utilityDavid Aspinall
span-make-self-removing-span: rename from span-add-self-removing-span
2010-09-08Clean up invisibility specDavid Aspinall
2010-08-27Implement the eagerly anticipated Beyond Script Management Feature No.2 ↵David Aspinall
(i.e., automatic preview of next command)
2010-08-25Bring syntactic context functions togetherDavid Aspinall
2010-08-24unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ↵David Aspinall
Emacs 24 compile warning
2010-08-19Default to non-italic symbol font variant for Mac OS X. Simplify font ↵David Aspinall
changing code.
2010-08-18unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display insteadDavid Aspinall
of redisplay to reveal invisibility spec changes
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
the symbol font face's :slant as well as :family attributes.
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
Prevent font setting when symbols are revealed (use default font family). Tweak menu titles.
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
unicode-tokens-display-table: use this (experimental) for alternative ellipsis glyph
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 09:03:02 +0000