aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)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
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
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 symbolizing...David Aspinall
2009-08-30Improve and extend font configuration. Add unicode-tokens-replace-shortcut-m...David Aspinall
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
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. Pret...David Aspinall
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 `unicode-tokens-prepend-text-...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 04:45:26 +0000