aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2008-02-17
* Symmetric change for #201Gravatar David Aspinall2008-02-17
* Comments.Gravatar David Aspinall2008-02-17
* Fix clash with X-Symbol resulting in enabling then disabling symbolsGravatar David Aspinall2008-02-17
* unicode-tokens: Experimental multiple font supportGravatar David Aspinall2008-02-17
* 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
* proof-unicode-tokens-set-global: call proof-unicode-tokens-init.Gravatar 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
* Further configuration settingsGravatar David Aspinall2008-02-04
* Set version tag for new release.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
* 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
* More apparent decoration for active (sendback) areasGravatar David Aspinall2008-01-31
* Sendback commands from response buffer sent via assert-until-point, with ordi...Gravatar David Aspinall2008-01-31
* Add a mouse-1 binding for active areas in goals/response output.Gravatar David Aspinall2008-01-31
* Set version tag for new release.Gravatar David Aspinall2008-01-31
* Comments.Gravatar David Aspinall2008-01-31
* Move version check in case proof-site.el is loaded, not proof-site.elcGravatar David Aspinall2008-01-31
* Disable X-Symbol on emacs >= 23. Internal interfaces have changedGravatar David Aspinall2008-01-31
* Fix RCS tagsGravatar David Aspinall2008-01-30
* Set version tag for new release.Gravatar David Aspinall2008-01-30
* Comment cleanups. buffer-substring -> buffer-substring-no-properties.Gravatar David Aspinall2008-01-30
* Update yearGravatar David Aspinall2008-01-30
* Support dynamically changing short-cut listGravatar David Aspinall2008-01-30
* Comments re trac #187Gravatar David Aspinall2008-01-30
* Documentation.Gravatar David Aspinall2008-01-30
* Disable experimental features, finally.Gravatar David Aspinall2008-01-30
* Deleted fileGravatar David Aspinall2008-01-30
* proof-interrupt-process: avoid effect of comint-skip-input (printing interrup...Gravatar David Aspinall2008-01-29
* buffer-substring -> buffer-substring-no-properties since we never use themGravatar David Aspinall2008-01-29
* Set version tag for new release.Gravatar David Aspinall2008-01-29
* Move proof-experimental-features back and make it constant.Gravatar David Aspinall2008-01-29
* Move proof-experimental-featuresGravatar David Aspinall2008-01-29
* Fix behaviour of proof-x-symbol-enable to follow customizeGravatar David Aspinall2008-01-29
* Experiment with enabling this for XEmacs.Gravatar David Aspinall2008-01-29
* Comments.Gravatar David Aspinall2008-01-29
* Clarify 'proof-allow-undo-in-read-only=nil' only works on GNU EmacsGravatar David Aspinall2008-01-29
* Typo.Gravatar David Aspinall2008-01-29
* proof-set-queue-endpoints: only use undo-discarding function ifGravatar David Aspinall2008-01-29
* Add Unicode Tokens menu item; prevent (easily) selecting Unicode TokensGravatar David Aspinall2008-01-29
* Use correct shell encoding function!Gravatar David Aspinall2008-01-29
* Disable undo in read-only region; add proof-allow-undo-in-read-only settingGravatar David Aspinall2008-01-29
* Fix to proof-x-symbol-enable: only engage when indeed being turned on.Gravatar David Aspinall2008-01-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-06 02:00:19 +0000