Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 | |
| | |||
* | Make bug references clickable | 2009-09-05 | |
| | |||
* | replace-in-string -> replace-regexp-in-string | 2009-09-04 | |
| | |||
* | Disable fontification of input and output. Fix C-c C-c binding | 2009-09-04 | |
| | |||
* | Disable buffer truncation for now | 2009-09-04 | |
| | |||
* | Profile more of the code | 2009-09-04 | |
| | |||
* | Define some keys. | 2009-09-04 | |
| | |||
* | Remove left over comint-isms | 2009-09-04 | |
| | |||
* | Support for Emacs22 | 2009-09-04 | |
| | |||
* | Remove further unnecessary compatibility code. | 2009-09-04 | |
| | |||
* | Profile settings | 2009-09-04 | |
| | |||
* | Trimmed down comint | 2009-09-04 | |
| | |||
* | Remove some old X-Symbol references. | 2009-09-01 | |
| | |||
* | Attempt to make compatible with Mac OS X port of Emacs 23. | 2009-09-01 | |
| |