Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Failed attempt to fix font lock customizations for elisp | 2010-10-01 | |
| | |||
* | span-make-modifying-removing-span: add utility | 2010-10-01 | |
| | | | | span-make-self-removing-span: rename from span-add-self-removing-span | ||
* | Clean up invisibility spec | 2010-09-08 | |
| | |||
* | Implement the eagerly anticipated Beyond Script Management Feature No.2 ↵ | 2010-08-27 | |
| | | | | (i.e., automatic preview of next command) | ||
* | Bring syntactic context functions together | 2010-08-25 | |
| | |||
* | unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ↵ | 2010-08-24 | |
| | | | | Emacs 24 compile warning | ||
* | Default to non-italic symbol font variant for Mac OS X. Simplify font ↵ | 2010-08-19 | |
| | | | | changing code. | ||
* | unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display instead | 2010-08-18 | |
| | | | | of redisplay to reveal invisibility spec changes | ||
* | Tune profiling | 2010-08-18 | |
| | |||
* | Load elp first | 2010-08-18 | |
| | |||
* | hack to ELP to give better readability of profile results, in milliseconds | 2010-08-18 | |
| | |||
* | unicode-tokens-symbol-font-face: default to italic and support setting | 2010-08-11 | |
| | | | | the symbol font face's :slant as well as :family attributes. | ||
* | span-mapcar-spans-inorder: added for pg-movie production | 2010-08-03 | |
| | |||
* | save-excursion -> with-temp-buffer | 2010-07-08 | |
| | |||
* | Remove debug message | 2010-06-28 | |
| | |||
* | Experimental backwards delete char. See Trac #290 | 2010-06-27 | |
| | |||
* | tidy | 2009-12-01 | |
| | |||
* | Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311 | 2009-12-01 | |
| | |||
* | spaces | 2009-12-01 | |
| | |||
* | Clean | 2009-12-01 | |
| | |||
* | unicode-tokens-fontsymb-properties: use font-lock faces instead of proof- ones. | 2009-10-01 | |
| | | | | | Prevent font setting when symbols are revealed (use default font family). Tweak menu titles. | ||
* | Conforming Menu Titles | 2009-09-30 | |
| | |||
* | Conforming Menu Titles | 2009-09-30 | |
| | |||
* | Rename dec->keyword. Update doc for quail input language. | 2009-09-28 | |
| | |||
* | Add customize group unicode-tokens-options to faces top-level group. | 2009-09-21 | |
| | |||
* | unicode-tokens-add-help-echo: add this customize option | 2009-09-21 | |
| | | | | unicode-tokens-display-table: use this (experimental) for alternative ellipsis glyph | ||
* | Functions to add buttons to buffer (initial attempt) | 2009-09-21 | |
| | |||
* | unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayed | 2009-09-20 | |
| | | | | buffers to ensure font changes are seen (change for Mac) | ||
* | Protect against error case | 2009-09-20 | |
| | |||
* | Note | 2009-09-17 | |
| | |||
* | span-give-warning: remove, unused. | 2009-09-14 | |
| | | | | span-write-warning: don't call FUN if inhibit-read-only. | ||
* | Times -> Times New Roman, seems to have better substitution behaviour | 2009-09-13 | |
| | | | | | under fontconfig (i.e. existence of smoothly rendering free fonts with same metrics) | ||
* | Tweaks | 2009-09-10 | |
| | |||
* | Add compatilibity for declare-function in Emacs 22.1 | 2009-09-09 | |
| | |||
* | byte-compile-and-load on write is a bit too enthusiastic | 2009-09-08 | |
| | |||
* | Remove use of regexp-opt-depth and clarify doc of | 2009-09-08 | |
| | | | | | `unicode-tokens-token-match-regexp'. Fix typo in `proof-tactical-name-face'. | ||
* | scomint-check-proc: make defsubst | 2009-09-07 | |
| | |||
* | Fix compiler warnings | 2009-09-07 | |
| | |||
* | Attempt byte compilation only for emacs lisp! | 2009-09-07 | |
| | |||
* | (C) date | 2009-09-07 | |
| | |||
* | Use extended form of define-minor-mode | 2009-09-07 | |
| | |||
* | Add template auto-insert hook | 2009-09-07 | |
| | |||
* | Calculate token match regexp in a more complex way in an attempt to | 2009-09-07 | |
| | | | | | | allow for Coq token grammar. Alter composition of strings to place characters by baseline. Doc and menu notes about replacement functions. | ||
* | Fix compile warnings, remove some XEmacs-isms | 2009-09-06 | |
| | |||
* | proof-buffer-syntactic-context-emulate: use caching syntax-ppss | 2009-09-06 | |
| | | | | instead of parse-partial-sexp | ||
* | Whitespace | 2009-09-06 | |
| | |||
* | Fix compile warnings | 2009-09-06 | |
| | |||
* | Add after save hook and convenient key binding to compile on save | 2009-09-06 | |
| | |||
* | Supress spurious warnings | 2009-09-06 | |
| | |||
* | More defun->defsubst changes | 2009-09-06 | |
| |