Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | ||
| | ||||
* | span-mapc-spans for span-delete-spans | 2009-09-06 | ||
| | ||||
* | Rearrange for scoping | 2009-09-06 | ||
| | ||||
* | Add menu moved from Coq menu. Make deactivating holes-mode forget all holes. | 2009-09-06 | ||
| | ||||
* | Simplify by removing ability to deal with restrictions | 2009-09-06 | ||
| | | | | and a check for process liveness. | |||
* | Make holes-abbrev-complete obey status of minor mode. | 2009-09-06 | ||
| | ||||
* | Cleanup code and use define-minor-mode. | 2009-09-06 | ||
| | ||||
* | set-span-keymap: only override local map, not replace it. | 2009-09-06 | ||
| | ||||
* | Fix pareno | 2009-09-06 | ||
| | ||||
* | Cleanups | 2009-09-06 | ||
| | ||||
* | More instrumentation | 2009-09-06 | ||
| | ||||
* | unicode-tokens-replace-unicode: new function to interactively replace ↵ | 2009-09-05 | ||
| | | | | unicode chars in buffer | |||
* | tokens-customizable-variables: new setting. All compositions to be more ↵ | 2009-09-05 | ||
| | | | | general, and map char sequences into left-to-right placements | |||
* | Autoload | 2009-09-05 | ||
| | ||||
* | Add characterp for Emacs 22 | 2009-09-05 | ||
| | ||||
* | Clean compile, remove useless autoload settings. | 2009-09-05 | ||
| | ||||
* | Turn on proof-general-debug. Missing require | 2009-09-05 | ||
| | ||||
* | Tidy whitespace | 2009-09-05 | ||
| | ||||
* | Comments | 2009-09-05 | ||
| | ||||
* | Missing declaration | 2009-09-05 | ||
| |