aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Collapse)AuthorAge
* Make mouse 1 binding compatible also with XEmacs.Gravatar David Aspinall2008-01-31
|
* Sendback commands from response buffer sent via assert-until-point, with ↵Gravatar David Aspinall2008-01-31
| | | | ordinary span construction.
* More apparent decoration for active (sendback) areasGravatar David Aspinall2008-01-31
|
* Sendback commands from response buffer sent via assert-until-point, with ↵Gravatar David Aspinall2008-01-31
| | | | ordinary span construction.
* 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
| | | | | there for x-complement-fontset-spec. It may be possible to fix without much work, but isn't immediately obvious.
* 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
| | | | | | | | Make proof-shell-handle-output robust against START-REGEXP match fail (can happen if shell buffer is garbled/user-edited). Make proof-shell-insert robust against null STRING (should not happen; development artefact while getting rid of proof-no-command). Update date.
* 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 ↵Gravatar David Aspinall2008-01-29
| | | | interrupt key).
* 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
| | | | setting.
* Experiment with enabling this for XEmacs.Gravatar David Aspinall2008-01-29
| | | | Add proof-token-name-alist to allow dynamic changing of tables.
* 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
| | | | undo-make-selective-list is available (not on XEmacs).
* Add Unicode Tokens menu item; prevent (easily) selecting Unicode TokensGravatar David Aspinall2008-01-29
| | | | and X-Symbols at the same time, which will surely lead to evil confusion.
* 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
|
* Experimental features again only for pre-releases.Gravatar David Aspinall2008-01-28
|
* Add autoload for proof-unicode-tokens-shell-configGravatar David Aspinall2008-01-28
|
* Add hooks for unicode tokens within proof shellGravatar David Aspinall2008-01-28
|
* Support decoding of unicode tokens in outputGravatar David Aspinall2008-01-28
|
* Add shortcuts for tokens.Gravatar David Aspinall2008-01-28
|
* Set version tag for new release.Gravatar David Aspinall2008-01-27
|
* Fix startupGravatar David Aspinall2008-01-27
|
* Updated.Gravatar David Aspinall2008-01-26
|
* Deleted fileGravatar David Aspinall2008-01-26
|
* pg-clear-script-portions: fix handling of buffer-invisibility-specGravatar David Aspinall2008-01-25
| | | | (missing apply)
* proof-fontify-region: set font-lock-verbose to nil to prevent ugly glitchesGravatar David Aspinall2008-01-25
| | | | with XEmacs progress bar.
* split string on proof-rsh-commandGravatar David Aspinall2008-01-25
|
* Remove unicode tokens from menu, this is experimental.Gravatar David Aspinall2008-01-25
|
* Remove unicode tokens from menu, this is experimental.Gravatar David Aspinall2008-01-25
|
* Updated.Gravatar David Aspinall2008-01-25
|
* Add unicode-tokens-enableGravatar David Aspinall2008-01-25
|
* Commentary: move compile notes to etc/development-tips.txtGravatar David Aspinall2008-01-25
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 14:03:51 +0000