aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2009-08-25Add recommendation for DejaVu fonts. Update magic.David Aspinall
2009-08-25Add menu entry for setting proof assistant commandDavid Aspinall
2009-08-22less ambitious array operations -- for improved compatibility with older vers...Makarius Wenzel
2009-08-20Doc tweaks via checkdoc.David Aspinall
2009-08-20Doc tweaks via checkdoc.David Aspinall
2009-08-20proof-one-command-per-line: change default, use in proof-insert-pbp-command.David Aspinall
2009-08-20Remove spurious junk.David Aspinall
2009-08-20Documentation improvements.David Aspinall
2009-08-20proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywordsDavid Aspinall
2009-08-20Remove obsolete file mentionDavid Aspinall
2009-08-20Don't make link to index.htmlDavid Aspinall
2009-08-19proof-shell-insert: add scriptspan argument, to pass source positions to proo...David Aspinall
2009-08-19DocstringsDavid Aspinall
2009-08-19proof-splice-separator: ignore nil entries for convenienceDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 19:47:38 +0000