aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* 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
* proof-fontify-region: set font-lock-verbose to nil to prevent ugly glitchesGravatar David Aspinall2008-01-25
* 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
* New files.Gravatar David Aspinall2008-01-25
* Set version tag for new release.Gravatar David Aspinall2008-01-25
* Set version tag for new release.Gravatar David Aspinall2008-01-24
* Fixes and cleanups for coq-indent-line, see Trac #172Gravatar David Aspinall2008-01-24
* Disable removal from input historyGravatar David Aspinall2008-01-17
* Set version tag for new release.Gravatar David Aspinall2008-01-17
* Fix typo.Gravatar David Aspinall2008-01-17
* Also wait on pg-custom before running proof-set-value.Gravatar David Aspinall2008-01-17
* Updated.Gravatar David Aspinall2008-01-17
* XEmacs comp error: obscure undefined define-key-after comes from proof-maths-...Gravatar David Aspinall2008-01-17
* Prevent proof-set-value from operating during compilation.Gravatar David Aspinall2008-01-17
* Fix requiresGravatar David Aspinall2008-01-17
* CommentGravatar David Aspinall2008-01-17
* Mention no experimental featuresGravatar David Aspinall2008-01-17
* Enable Lego again, its needed for documentation(\!)Gravatar David Aspinall2008-01-17
* Revert to more reliable true eval-when (compile)Gravatar David Aspinall2008-01-17
* Add pg-input-ring-size.Gravatar David Aspinall2008-01-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 13:31:37 +0000