aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2008-01-31Updated.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Update maintainers to add back the key person, 8-).David Aspinall
2008-01-31Update versions here.David Aspinall
2008-01-31Set version tag for new release.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Add another window system: w32 for win 32.David Aspinall
Really we should use default here to get rid of this list.
2008-01-31comment: proof-compat not needed for pg-defface-window-systems (but leave in ↵David Aspinall
now)
2008-01-31Revert last change, shell-command-to-string gives error when calledDavid Aspinall
with c:\Program Files\blah due to space in filename. Code here needs reworking more heavily for out-of-the-box Windows working.
2008-01-31Use coq-prog-name when looking for library, not hard coded coqtopDavid Aspinall
2008-01-31Use proof-locate-executable so works out-of-the-box on Windows.David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Fix dateDavid Aspinall
2008-01-31Update note re Carbon EmacsDavid Aspinall
2008-01-31Remove CVS merge junk!David Aspinall
2008-01-31Updated.David Aspinall
2008-01-31Make mouse 1 binding compatible also with XEmacs.David Aspinall
2008-01-31Sendback commands from response buffer sent via assert-until-point, with ↵David Aspinall
ordinary span construction.
2008-01-31Add nomodify argument to set-buffer-file-coding-system call, toDavid Aspinall
prevent buffer modification when switching X-Symbol on (seen on Carbon Emacs 22.1.50.1)
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-25 01:08:25 +0000