aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2008-01-30Disable experimental features, finally.David Aspinall
2008-01-30Deleted fileDavid Aspinall
2008-01-30Updated.David Aspinall
2008-01-30Deleted fileDavid Aspinall
2008-01-30Updated.David Aspinall
2008-01-29New files.David Aspinall
2008-01-29proof-interrupt-process: avoid effect of comint-skip-input (printing interrup...David Aspinall
2008-01-29Add buffer-substring-no-properties in case of older Emacs versionsDavid Aspinall
2008-01-29Updated.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-29Revert previous change, does not help. Solve #184 by ignoring error in Makef...David Aspinall
2008-01-29Ignore errors compiling maths-menu.el (for XEmacs 21.4)David Aspinall
2008-01-29Change characters in maths-menu-menu to strings, hoping to fix compileDavid Aspinall
2008-01-29New files.David Aspinall
2008-01-29isar-undos: fix bug trac #189 introduced by attempt to remove proof-no-command.David Aspinall
2008-01-29Set proof-shell-trace-output-regexp early enough to have effect. Fixes trac ...David Aspinall
2008-01-29Disable x-symbol-mac-setup2 for now until compile can be fixed.David Aspinall
2008-01-29Move proof-experimental-features back and make it constant.David Aspinall
2008-01-29Move proof-experimental-featuresDavid Aspinall
2008-01-29Updated.David Aspinall
2008-01-29Comments.David Aspinall
2008-01-29Fix behaviour of proof-x-symbol-enable to follow customizeDavid Aspinall
2008-01-29Make XEmacs compatible. Make rotate glyphs look for a char.David Aspinall
2008-01-29Experiment with enabling this for XEmacs.David Aspinall
2008-01-29Comments.David Aspinall
2008-01-29Protect against improper initialisation errors.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-29Comment location for tokens/maths menu.David Aspinall
2008-01-29Fix define-ccl-program call; require 'ccl for compile.David Aspinall
2008-01-29tokens-to-unicode, unicode-to-tokens: preserve modification statusDavid Aspinall
2008-01-29Use correct shell encoding function!David Aspinall
2008-01-29Sort token encode/decode mappings, so that longer strings areDavid Aspinall
2008-01-29Disable undo in read-only region; add proof-allow-undo-in-read-only settingDavid Aspinall
2008-01-28Mention Unicode Tokens and undo in read-only region.David Aspinall
2008-01-28Don't give error when loaded during "make doc" with old emacs versionDavid Aspinall
2008-01-28Switch to fake long symbolsDavid Aspinall
2008-01-28Backquote syntax updated to defeat warnings, so not Emacs <19.29 compatibleDavid Aspinall
2008-01-28Appearance is OK with NextStep Emacs.app.David Aspinall
2008-01-28Fix to proof-x-symbol-enable: only engage when indeed being turned on.David Aspinall
2008-01-28Workaround a small bug in Carbon Emacs Winter 2008: mac-key-mode not boundDavid Aspinall
2008-01-28Experimental features again only for pre-releases.David Aspinall
2008-01-28Maths menu works OK in Carbon EmacsDavid Aspinall
2008-01-28Deleted fileDavid Aspinall
2008-01-28Added displaying of the number of goals in the modeline.Pierre Courtieu
2008-01-28Add autoload for proof-unicode-tokens-shell-configDavid Aspinall
2008-01-28Fixed indentation and goal display.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 04:23:55 +0000