aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2008-03-05fixed syntax table + thing-at-point.Pierre Courtieu
2008-02-17Remove junkDavid Aspinall
2008-02-17Updated.David Aspinall
2008-02-17Docstring with keymapDavid Aspinall
2008-02-17Set version tag for new release.David Aspinall
2008-02-17Symmetric change for #201David Aspinall
2008-02-17Updated.David Aspinall
2008-02-17Add item for #204David Aspinall
2008-02-17Add item for #204David Aspinall
2008-02-17Add undo-depth setting and default it to 200, overriding Coq's 100 default.David Aspinall
2008-02-17New files.David Aspinall
2008-02-17Updated.David Aspinall
2008-02-17Comments.David Aspinall
2008-02-17Missing backslashes.David Aspinall
2008-02-17Experimental use of fonts for \<AA> etc. Disable some contentious shortcutsDavid Aspinall
2008-02-17Remove isar-activate-scripting, which was identical to defaultDavid Aspinall
2008-02-17Add serif token matchDavid Aspinall
2008-02-17Fix clash with X-Symbol resulting in enabling then disabling symbolsDavid Aspinall
2008-02-17Remove left over propertise experiment call; fixes #202David Aspinall
2008-02-17unicode-tokens: Experimental multiple font supportDavid Aspinall
2008-02-17Set proof-shell-eager-annotation-start-length=2. This should have beenDavid Aspinall
when ASCII scheme was introduced. Messages may be lost otherwise.
2008-02-15Update bug reporting addressDavid Aspinall
2008-02-13tuned comment;Makarius Wenzel
2008-02-09Unicode tokens: support face changing via 'font-lock-face'David Aspinall
2008-02-06Set version tag for new release.David Aspinall
2008-02-06Updated.David Aspinall
2008-02-06Tweak initialisation (no difference if setup properrly via proof-unicode-tokens)David Aspinall
2008-02-06proof-unicode-tokens-set-global: call proof-unicode-tokens-init.David Aspinall
2008-02-06Switch order of annotations and substitutions, to allow substitutions to containDavid Aspinall
further annotations (e.g. a symbol denotes a bold character or special font). Fix a compatibility issue with MMM (avoid changing encoding on indirect buffer) Fix removing face properties when turning off (re fontify). Don't try to save properties: face (giving up on temporarily on bold) or autocompose.
2008-02-06proof-quick-opts-vars: add <PA>-unicode-tokens-enableDavid Aspinall
2008-02-06Use proof-auxmodes to load auxiliary modes properly when required.David Aspinall
2008-02-06New files.David Aspinall
2008-02-06proof-ready-for-assistant: Only make ready for assistant once(!)David Aspinall
2008-02-06accomodate Carbon Emacs: keep window system enabled, even if no DISPLAY;Makarius Wenzel
2008-02-05Restore Emacs<=23 compatibility!David Aspinall
2008-02-05Remove ligature/latin1 symbols. Trim short cutsDavid Aspinall
2008-02-04New files.David Aspinall
2008-02-04Make display properties rear sticky. This is good for begin..end but notDavid Aspinall
for singleton controls (which are a nuisance enough already).
2008-02-04Disable warnings.David Aspinall
2008-02-04Support Isabelle control sequences for subscripts/superscriptsDavid Aspinall
2008-02-04Further configuration settingsDavid Aspinall
2008-02-04Add mode documentationDavid Aspinall
2008-02-04Comments.David Aspinall
2008-02-04Go back to isabellesym.sty as master symbol listDavid Aspinall
2008-02-03Add some error checking to `unicode-tokens-token-name-alist'David Aspinall
2008-02-03Attempt at Emacs 23 compatibility, not quite working.David Aspinall
2008-02-03Updated.David Aspinall
2008-02-03Deleted fileDavid Aspinall
2008-02-03Move to 3.7.1 pre-relDavid Aspinall
2008-02-01coq:cutomizable bound variable highlight (finally working)Assia Mahboubi