aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2008-01-30Set version tag for new release.David Aspinall
2008-01-30Comment cleanups. buffer-substring -> buffer-substring-no-properties.David Aspinall
2008-01-30Update yearDavid Aspinall
2008-01-30Support dynamically changing short-cut listDavid Aspinall
2008-01-30Comments re trac #187David Aspinall
2008-01-30Documentation.David Aspinall
2008-01-30Disable experimental features, finally.David Aspinall
2008-01-30Deleted fileDavid Aspinall
2008-01-29proof-interrupt-process: avoid effect of comint-skip-input (printing interrup...David Aspinall
2008-01-29buffer-substring -> buffer-substring-no-properties since we never use themDavid Aspinall
2008-01-29Set version tag for new release.David Aspinall
2008-01-29Move proof-experimental-features back and make it constant.David Aspinall
2008-01-29Move proof-experimental-featuresDavid Aspinall
2008-01-29Fix behaviour of proof-x-symbol-enable to follow customizeDavid Aspinall
2008-01-29Experiment with enabling this for XEmacs.David Aspinall
2008-01-29Comments.David Aspinall
2008-01-29Clarify 'proof-allow-undo-in-read-only=nil' only works on GNU EmacsDavid Aspinall
2008-01-29Typo.David Aspinall
2008-01-29proof-set-queue-endpoints: only use undo-discarding function ifDavid Aspinall
2008-01-29Add Unicode Tokens menu item; prevent (easily) selecting Unicode TokensDavid Aspinall
2008-01-29Use correct shell encoding function!David Aspinall
2008-01-29Disable undo in read-only region; add proof-allow-undo-in-read-only settingDavid Aspinall
2008-01-28Fix to proof-x-symbol-enable: only engage when indeed being turned on.David Aspinall
2008-01-28Experimental features again only for pre-releases.David Aspinall
2008-01-28Add autoload for proof-unicode-tokens-shell-configDavid Aspinall
2008-01-28Add hooks for unicode tokens within proof shellDavid Aspinall
2008-01-28Support decoding of unicode tokens in outputDavid Aspinall
2008-01-28Add shortcuts for tokens.David Aspinall
2008-01-27Set version tag for new release.David Aspinall
2008-01-27Fix startupDavid Aspinall
2008-01-26Updated.David Aspinall
2008-01-26Deleted fileDavid Aspinall
2008-01-25pg-clear-script-portions: fix handling of buffer-invisibility-specDavid Aspinall
2008-01-25proof-fontify-region: set font-lock-verbose to nil to prevent ugly glitchesDavid Aspinall
2008-01-25split string on proof-rsh-commandDavid Aspinall
2008-01-25Remove unicode tokens from menu, this is experimental.David Aspinall
2008-01-25Remove unicode tokens from menu, this is experimental.David Aspinall
2008-01-25Updated.David Aspinall
2008-01-25Add unicode-tokens-enableDavid Aspinall
2008-01-25Commentary: move compile notes to etc/development-tips.txtDavid Aspinall
2008-01-25New files.David Aspinall
2008-01-25Set version tag for new release.David Aspinall
2008-01-24Set version tag for new release.David Aspinall
2008-01-24Fixes and cleanups for coq-indent-line, see Trac #172David Aspinall
2008-01-17Disable removal from input historyDavid Aspinall
2008-01-17Set version tag for new release.David Aspinall
2008-01-17Fix typo.David Aspinall
2008-01-17Also wait on pg-custom before running proof-set-value.David Aspinall
2008-01-17Updated.David Aspinall
2008-01-17XEmacs comp error: obscure undefined define-key-after comes from proof-maths-...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:10:19 +0000