aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
...
* save-excursion -> with-temp-bufferGravatar David Aspinall2010-07-08
* Remove debug messageGravatar David Aspinall2010-06-28
* Experimental backwards delete char. See Trac #290Gravatar David Aspinall2010-06-27
* tidyGravatar David Aspinall2009-12-01
* Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311Gravatar David Aspinall2009-12-01
* spacesGravatar David Aspinall2009-12-01
* CleanGravatar David Aspinall2009-12-01
* unicode-tokens-fontsymb-properties: use font-lock faces instead of proof- ones.Gravatar David Aspinall2009-10-01
* Conforming Menu TitlesGravatar David Aspinall2009-09-30
* Conforming Menu TitlesGravatar David Aspinall2009-09-30
* Rename dec->keyword. Update doc for quail input language.Gravatar David Aspinall2009-09-28
* Add customize group unicode-tokens-options to faces top-level group.Gravatar David Aspinall2009-09-21
* unicode-tokens-add-help-echo: add this customize optionGravatar David Aspinall2009-09-21
* Functions to add buttons to buffer (initial attempt)Gravatar David Aspinall2009-09-21
* unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayedGravatar David Aspinall2009-09-20
* Protect against error caseGravatar David Aspinall2009-09-20
* NoteGravatar David Aspinall2009-09-17
* span-give-warning: remove, unused.Gravatar David Aspinall2009-09-14
* Times -> Times New Roman, seems to have better substitution behaviourGravatar David Aspinall2009-09-13
* TweaksGravatar David Aspinall2009-09-10
* Add compatilibity for declare-function in Emacs 22.1Gravatar David Aspinall2009-09-09
* byte-compile-and-load on write is a bit too enthusiasticGravatar David Aspinall2009-09-08
* Remove use of regexp-opt-depth and clarify doc ofGravatar David Aspinall2009-09-08
* scomint-check-proc: make defsubstGravatar David Aspinall2009-09-07
* Fix compiler warningsGravatar David Aspinall2009-09-07
* Attempt byte compilation only for emacs lisp!Gravatar David Aspinall2009-09-07
* (C) dateGravatar David Aspinall2009-09-07
* Use extended form of define-minor-modeGravatar David Aspinall2009-09-07
* Add template auto-insert hookGravatar David Aspinall2009-09-07
* Calculate token match regexp in a more complex way in an attempt toGravatar David Aspinall2009-09-07
* Fix compile warnings, remove some XEmacs-ismsGravatar David Aspinall2009-09-06
* proof-buffer-syntactic-context-emulate: use caching syntax-ppssGravatar David Aspinall2009-09-06
* WhitespaceGravatar David Aspinall2009-09-06
* Fix compile warningsGravatar David Aspinall2009-09-06
* Add after save hook and convenient key binding to compile on saveGravatar David Aspinall2009-09-06
* Supress spurious warningsGravatar David Aspinall2009-09-06
* More defun->defsubst changesGravatar David Aspinall2009-09-06
* span-mapc-spans for span-delete-spansGravatar David Aspinall2009-09-06
* Rearrange for scopingGravatar David Aspinall2009-09-06
* Add menu moved from Coq menu. Make deactivating holes-mode forget all holes.Gravatar David Aspinall2009-09-06
* Simplify by removing ability to deal with restrictionsGravatar David Aspinall2009-09-06
* Make holes-abbrev-complete obey status of minor mode.Gravatar David Aspinall2009-09-06
* Cleanup code and use define-minor-mode.Gravatar David Aspinall2009-09-06
* set-span-keymap: only override local map, not replace it.Gravatar David Aspinall2009-09-06
* Fix parenoGravatar David Aspinall2009-09-06
* CleanupsGravatar David Aspinall2009-09-06
* More instrumentationGravatar David Aspinall2009-09-06
* unicode-tokens-replace-unicode: new function to interactively replace unicode...Gravatar David Aspinall2009-09-05
* tokens-customizable-variables: new setting. All compositions to be more gener...Gravatar David Aspinall2009-09-05
* AutoloadGravatar David Aspinall2009-09-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 18:09:15 +0000