Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵ | David Aspinall | 2011-10-13 |
| | | | | interactive-p with called-interactively-p) | ||
* | Docstring | David Aspinall | 2011-04-18 |
| | |||
* | Support delete selection mode on remapped delete commands | David Aspinall | 2011-02-23 |
| | | | | Update some of font alias choices. | ||
* | Make proof-assistant-settings follow currently available dynamic settings, ↵ | David Aspinall | 2011-01-31 |
| | | | | and keep possibly customized variables bound. Closes Trac #387. | ||
* | ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu). | David Aspinall | 2011-01-26 |
| | |||
* | Remove dead code | David Aspinall | 2011-01-25 |
| | |||
* | - change 'span-delete-action in 'span-delete-actions, which is | Hendrik Tews | 2011-01-24 |
| | | | | | now a list of functions to be run when the span is deleted. Use span-add-delete-action to add a delete action. | ||
* | Summary: New indentation code using SMIE | Stefan Monnier | 2010-11-15 |
| | | | | | | | | | | * 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. | ||
* | Failed attempt to fix font lock customizations for elisp | David Aspinall | 2010-10-01 |
| | |||
* | span-make-modifying-removing-span: add utility | David Aspinall | 2010-10-01 |
| | | | | span-make-self-removing-span: rename from span-add-self-removing-span | ||
* | Clean up invisibility spec | David Aspinall | 2010-09-08 |
| | |||
* | Implement the eagerly anticipated Beyond Script Management Feature No.2 ↵ | David Aspinall | 2010-08-27 |
| | | | | (i.e., automatic preview of next command) | ||
* | Bring syntactic context functions together | David Aspinall | 2010-08-25 |
| | |||
* | unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ↵ | David Aspinall | 2010-08-24 |
| | | | | Emacs 24 compile warning | ||
* | Default to non-italic symbol font variant for Mac OS X. Simplify font ↵ | David Aspinall | 2010-08-19 |
| | | | | changing code. | ||
* | unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display instead | David Aspinall | 2010-08-18 |
| | | | | of redisplay to reveal invisibility spec changes | ||
* | Tune profiling | David Aspinall | 2010-08-18 |
| | |||
* | Load elp first | David Aspinall | 2010-08-18 |
| | |||
* | hack to ELP to give better readability of profile results, in milliseconds | David Aspinall | 2010-08-18 |
| | |||
* | unicode-tokens-symbol-font-face: default to italic and support setting | David Aspinall | 2010-08-11 |
| | | | | the symbol font face's :slant as well as :family attributes. | ||
* | span-mapcar-spans-inorder: added for pg-movie production | David Aspinall | 2010-08-03 |
| | |||
* | save-excursion -> with-temp-buffer | David Aspinall | 2010-07-08 |
| | |||
* | Remove debug message | David Aspinall | 2010-06-28 |
| | |||
* | Experimental backwards delete char. See Trac #290 | David Aspinall | 2010-06-27 |
| | |||
* | tidy | David Aspinall | 2009-12-01 |
| | |||
* | Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311 | David Aspinall | 2009-12-01 |
| | |||
* | spaces | David Aspinall | 2009-12-01 |
| | |||
* | Clean | David Aspinall | 2009-12-01 |
| | |||
* | unicode-tokens-fontsymb-properties: use font-lock faces instead of proof- ones. | David Aspinall | 2009-10-01 |
| | | | | | Prevent font setting when symbols are revealed (use default font family). Tweak menu titles. | ||
* | Conforming Menu Titles | David Aspinall | 2009-09-30 |
| | |||
* | Conforming Menu Titles | David Aspinall | 2009-09-30 |
| | |||
* | Rename dec->keyword. Update doc for quail input language. | David Aspinall | 2009-09-28 |
| | |||
* | Add customize group unicode-tokens-options to faces top-level group. | David Aspinall | 2009-09-21 |
| | |||
* | unicode-tokens-add-help-echo: add this customize option | David Aspinall | 2009-09-21 |
| | | | | unicode-tokens-display-table: use this (experimental) for alternative ellipsis glyph | ||
* | Functions to add buttons to buffer (initial attempt) | David Aspinall | 2009-09-21 |
| | |||
* | unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayed | David Aspinall | 2009-09-20 |
| | | | | buffers to ensure font changes are seen (change for Mac) | ||
* | Protect against error case | David Aspinall | 2009-09-20 |
| | |||
* | Note | David Aspinall | 2009-09-17 |
| | |||
* | span-give-warning: remove, unused. | David Aspinall | 2009-09-14 |
| | | | | span-write-warning: don't call FUN if inhibit-read-only. | ||
* | Times -> Times New Roman, seems to have better substitution behaviour | David Aspinall | 2009-09-13 |
| | | | | | under fontconfig (i.e. existence of smoothly rendering free fonts with same metrics) | ||
* | Tweaks | David Aspinall | 2009-09-10 |
| | |||
* | Add compatilibity for declare-function in Emacs 22.1 | David Aspinall | 2009-09-09 |
| | |||
* | byte-compile-and-load on write is a bit too enthusiastic | David Aspinall | 2009-09-08 |
| | |||
* | Remove use of regexp-opt-depth and clarify doc of | David Aspinall | 2009-09-08 |
| | | | | | `unicode-tokens-token-match-regexp'. Fix typo in `proof-tactical-name-face'. | ||
* | scomint-check-proc: make defsubst | David Aspinall | 2009-09-07 |
| | |||
* | Fix compiler warnings | David Aspinall | 2009-09-07 |
| | |||
* | Attempt byte compilation only for emacs lisp! | David Aspinall | 2009-09-07 |
| | |||
* | (C) date | David Aspinall | 2009-09-07 |
| | |||
* | Use extended form of define-minor-mode | David Aspinall | 2009-09-07 |
| | |||
* | Add template auto-insert hook | David Aspinall | 2009-09-07 |
| |