aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* tuned comment;Gravatar Makarius Wenzel2008-02-13
* Unicode tokens: support face changing via 'font-lock-face'Gravatar David Aspinall2008-02-09
* Set version tag for new release.Gravatar David Aspinall2008-02-06
* Updated.Gravatar David Aspinall2008-02-06
* Tweak initialisation (no difference if setup properrly via proof-unicode-tokens)Gravatar David Aspinall2008-02-06
* proof-unicode-tokens-set-global: call proof-unicode-tokens-init.Gravatar David Aspinall2008-02-06
* Switch order of annotations and substitutions, to allow substitutions to containGravatar David Aspinall2008-02-06
* proof-quick-opts-vars: add <PA>-unicode-tokens-enableGravatar David Aspinall2008-02-06
* Use proof-auxmodes to load auxiliary modes properly when required.Gravatar David Aspinall2008-02-06
* New files.Gravatar David Aspinall2008-02-06
* proof-ready-for-assistant: Only make ready for assistant once(!)Gravatar David Aspinall2008-02-06
* accomodate Carbon Emacs: keep window system enabled, even if no DISPLAY;Gravatar Makarius Wenzel2008-02-06
* Restore Emacs<=23 compatibility!Gravatar David Aspinall2008-02-05
* Remove ligature/latin1 symbols. Trim short cutsGravatar David Aspinall2008-02-05
* New files.Gravatar David Aspinall2008-02-04
* Make display properties rear sticky. This is good for begin..end but notGravatar David Aspinall2008-02-04
* Disable warnings.Gravatar David Aspinall2008-02-04
* Support Isabelle control sequences for subscripts/superscriptsGravatar David Aspinall2008-02-04
* Further configuration settingsGravatar David Aspinall2008-02-04
* Add mode documentationGravatar David Aspinall2008-02-04
* Comments.Gravatar David Aspinall2008-02-04
* Go back to isabellesym.sty as master symbol listGravatar David Aspinall2008-02-04
* Add some error checking to `unicode-tokens-token-name-alist'Gravatar David Aspinall2008-02-03
* Attempt at Emacs 23 compatibility, not quite working.Gravatar David Aspinall2008-02-03
* Updated.Gravatar David Aspinall2008-02-03
* Deleted fileGravatar David Aspinall2008-02-03
* Move to 3.7.1 pre-relGravatar David Aspinall2008-02-03
* coq:cutomizable bound variable highlight (finally working)Gravatar Assia Mahboubi2008-02-01
* Updated.Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2008-01-31
* Update maintainers to add back the key person, 8-).Gravatar David Aspinall2008-01-31
* Update versions here.Gravatar David Aspinall2008-01-31
* Set version tag for new release.Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2008-01-31
* Add another window system: w32 for win 32.Gravatar David Aspinall2008-01-31
* comment: proof-compat not needed for pg-defface-window-systems (but leave in ...Gravatar David Aspinall2008-01-31
* Revert last change, shell-command-to-string gives error when calledGravatar David Aspinall2008-01-31
* Use coq-prog-name when looking for library, not hard coded coqtopGravatar David Aspinall2008-01-31
* Use proof-locate-executable so works out-of-the-box on Windows.Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2008-01-31
* Fix dateGravatar David Aspinall2008-01-31
* Update note re Carbon EmacsGravatar David Aspinall2008-01-31
* Remove CVS merge junk!Gravatar David Aspinall2008-01-31
* Updated.Gravatar David Aspinall2008-01-31
* Make mouse 1 binding compatible also with XEmacs.Gravatar David Aspinall2008-01-31
* Sendback commands from response buffer sent via assert-until-point, with ordi...Gravatar David Aspinall2008-01-31
* Add nomodify argument to set-buffer-file-coding-system call, toGravatar David Aspinall2008-01-31
* Expand info on X-Symbol MacGravatar David Aspinall2008-01-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 06:36:31 +0000