Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | |
| | ||||
* | Calculate token match regexp in a more complex way in an attempt to | David Aspinall | 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 | David Aspinall | 2009-09-06 | |
| | ||||
* | proof-buffer-syntactic-context-emulate: use caching syntax-ppss | David Aspinall | 2009-09-06 | |
| | | | | instead of parse-partial-sexp | |||
* | Whitespace | David Aspinall | 2009-09-06 | |
| | ||||
* | Fix compile warnings | David Aspinall | 2009-09-06 | |
| | ||||
* | Add after save hook and convenient key binding to compile on save | David Aspinall | 2009-09-06 | |
| | ||||
* | Supress spurious warnings | David Aspinall | 2009-09-06 | |
| | ||||
* | More defun->defsubst changes | David Aspinall | 2009-09-06 | |
| | ||||
* | span-mapc-spans for span-delete-spans | David Aspinall | 2009-09-06 | |
| | ||||
* | Rearrange for scoping | David Aspinall | 2009-09-06 | |
| | ||||
* | Add menu moved from Coq menu. Make deactivating holes-mode forget all holes. | David Aspinall | 2009-09-06 | |
| | ||||
* | Simplify by removing ability to deal with restrictions | David Aspinall | 2009-09-06 | |
| | | | | and a check for process liveness. | |||
* | Make holes-abbrev-complete obey status of minor mode. | David Aspinall | 2009-09-06 | |
| | ||||
* | Cleanup code and use define-minor-mode. | David Aspinall | 2009-09-06 | |
| | ||||
* | set-span-keymap: only override local map, not replace it. | David Aspinall | 2009-09-06 | |
| | ||||
* | Fix pareno | David Aspinall | 2009-09-06 | |
| | ||||
* | Cleanups | David Aspinall | 2009-09-06 | |
| | ||||
* | More instrumentation | David Aspinall | 2009-09-06 | |
| | ||||
* | unicode-tokens-replace-unicode: new function to interactively replace ↵ | David Aspinall | 2009-09-05 | |
| | | | | unicode chars in buffer | |||
* | tokens-customizable-variables: new setting. All compositions to be more ↵ | David Aspinall | 2009-09-05 | |
| | | | | general, and map char sequences into left-to-right placements | |||
* | Autoload | David Aspinall | 2009-09-05 | |
| | ||||
* | Add characterp for Emacs 22 | David Aspinall | 2009-09-05 | |
| |