aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2009-08-31Unnecessary testDavid Aspinall
2009-08-31Update versionsDavid Aspinall
2009-08-31UpdatedDavid Aspinall
2009-08-31Fix unicode-tokens-script-font-faceDavid Aspinall
2009-08-31Support mouse font selection in Emacs 22.David Aspinall
Fix interface to custom, saved faces are in .emacs, not current buffer(!).
2009-08-31Add Emacs 23 warning.David Aspinall
2009-08-31Experiments improving defaultsDavid Aspinall
2009-08-31Pointer to Stix fontsDavid Aspinall
2009-08-31Update docsDavid Aspinall
2009-08-31Doc fixesDavid Aspinall
2009-08-31Prevent reporting column number back to Isabelle processDavid Aspinall
as not reliable; extra work needed on both sides. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/277
2009-08-31UpdatedDavid Aspinall
2009-08-31Merge in Isar and Coq bugsDavid Aspinall
2009-08-31Quick fix to isar-remove-file, see trac #274David Aspinall
2009-08-31Made customizable holes mode completion in abbreviations.Pierre Courtieu
2009-08-31Clean up IGNOREDFILES a bitDavid Aspinall
2009-08-31Set version tag for new release.David Aspinall
2009-08-31Fix homeDavid Aspinall
2009-08-31TokenizeDavid Aspinall
2009-08-31Add custom docDavid Aspinall
2009-08-31isar-symbol-shortcuts: add customizationDavid Aspinall
2009-08-31Remove over-enthusiastic single-character shortcutsDavid Aspinall
2009-08-31AttributionDavid Aspinall
2009-08-31Disable large symbol font for nowDavid Aspinall
2009-08-30Support dynamic customization. Add additional shortcuts handy for ↵David Aspinall
symbolizing old files.
2009-08-30Improve and extend font configuration. Add ↵David Aspinall
unicode-tokens-replace-shortcut-match.
2009-08-29Cleanup of interactive point moving functions (in progress)David Aspinall
2009-08-29isar-positions-of: skip whitespace before command startDavid Aspinall
2009-08-28isar-nonwrap-regexp: ML should work (note that there are *many* ML commands);Makarius Wenzel
added separate isar-string-wrapping; isar-positions-of: isar-string-wrapping of file name -- to make double sure;
2009-08-28pg-create-in-span-context-menu: fix nestingDavid Aspinall
2009-08-28Fix compile warningsDavid Aspinall
2009-08-28Update autoloadsDavid Aspinall
2009-08-28Move fontsymb properties to library file.David Aspinall
2009-08-28Add convenience function for profilingDavid Aspinall
2009-08-28Add a fontDavid Aspinall
2009-08-28Extend the available types of controls. Move fontsymb-properties here. ↵David Aspinall
Prettify the token table.
2009-08-28Doc: pointer to TokensAcidDavid Aspinall
2009-08-28Add more commentary and new control examplesDavid Aspinall
2009-08-28Updated.David Aspinall
2009-08-28Doc fixDavid Aspinall
2009-08-28Disable "Set fontsets" sub menu for new EmacsenDavid Aspinall
2009-08-28Attempt to duplicate Dixon bugDavid Aspinall
2009-08-28Set version tag for new release.David Aspinall
2009-08-28Change font-lock-keywords to use our own hacked ↵David Aspinall
`unicode-tokens-prepend-text-property' instead of `font-lock-prepend-text-property' which gave ill formed property values for 'face. Still not clear if that function is faulty or usage was not as intended. Anyway, this repairs outstanding merge properties problem so that <bold><italic>foo</italic></bold> works as expected. Also: fix key binding for unicode-tokens-show-controls so is usable.
2009-08-28Temporary note of property merging problemsDavid Aspinall
2009-08-28Property merging now works with tweaks in unicode-tokensDavid Aspinall
2009-08-28Clarify mode functions. Fix cross references to Elisp ref (not XEmacs Lispref)David Aspinall
2009-08-28Clean up and rearrange variable declaration filesDavid Aspinall
2009-08-28CommentsDavid Aspinall
2009-08-28Enhanced font setting mechanism: allow a separate font for symbols,David Aspinall
and add user-level functions to set the configured fonts. unicode-tokens-delete-token-near-point: add this user-level function
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-16 21:03:32 +0000