aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
mode switch on/off: discard undo history -- edits inside tokens get mapped to wrong positions afterwards, so undo garbles source.
2008-01-29Use correct shell encoding function!David Aspinall
2008-01-29Sort token encode/decode mappings, so that longer strings areDavid Aspinall
converted first, which is more likely to give correct results for text that has multiple possible de/encodings.
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
2008-01-28Prevent prompt during compilationDavid Aspinall
2008-01-28Add hooks for unicode tokens within proof shellDavid Aspinall
2008-01-28Support decoding of unicode tokens in outputDavid Aspinall
2008-01-28Allow decode/encode for read-only buffers. Fix map, case folding on replace.David Aspinall
2008-01-28Use buffer file format to code/decode.David Aspinall
2008-01-28Add shortcuts for tokens.David Aspinall
2008-01-28Add shortcuts for tokens to quail input method. Sketch of coding system.David Aspinall
2008-01-28unload-pg: Update featuresDavid Aspinall
2008-01-28Fixed a problem with a wrong side effect on syntax databases (whenPierre Courtieu
sorting for menus).
2008-01-27Set version tag for new release.David Aspinall
2008-01-27Comment cleanupDavid Aspinall
2008-01-27Updated.David Aspinall
2008-01-27Switch token table mapping destination from glyph names to unicode strings. ↵David Aspinall
Generate from Isabelle.sym
2008-01-27Fix startupDavid Aspinall
2008-01-27Switch token table mapping destination from glyph names to unicode strings. ↵David Aspinall
Add unicode-tokens-rotate-glyph-{forward,backward}.
2008-01-27Updated.David Aspinall
2008-01-26Revert invisible behaviour for GNU Emacs 21.XDavid Aspinall
2008-01-26Updated.David Aspinall
2008-01-26Deleted fileDavid Aspinall
2008-01-25pg-clear-script-portions: fix handling of buffer-invisibility-specDavid Aspinall
(missing apply)
2008-01-25fixed usage: default for option -p is emacs, not xemacs;Makarius Wenzel
2008-01-25Missing quoteDavid Aspinall
2008-01-25Updated.David Aspinall
2008-01-25Fix variable renameDavid Aspinall
2008-01-25New files.David Aspinall
2008-01-25proof-fontify-region: set font-lock-verbose to nil to prevent ugly glitchesDavid Aspinall
with XEmacs progress bar.
2008-01-25Fix previous change.David Aspinall
2008-01-25Make isatool usage (view doc) compatible with proof-rsh-command.David Aspinall
2008-01-25Make isatool usage compatible with proof-rsh-command.David Aspinall
2008-01-25Back patch for XEmacs 21.4 on API change to add-hook.David Aspinall
2008-01-25Back patch for XEmacs 21.4 on API change to add-hook.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 17:03:05 +0000