aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2009-09-03Shorten startup messageDavid Aspinall
2009-09-03output-font-lock-keywords: remove unnecessary bracketsDavid Aspinall
2009-09-03Fix font-lock output keywords for tvars starting ?'David Aspinall
2009-09-02Isabelle2008 compatibility;Makarius Wenzel
2009-09-02proper backslash escape;Makarius Wenzel
2009-09-01Pointers for Mac supportDavid Aspinall
2009-09-01Set version tag for new release.David Aspinall
2009-09-01UpdatesDavid Aspinall
2009-09-01Remove some old X-Symbol references.David Aspinall
2009-09-01Attempt to make compatible with Mac OS X port of Emacs 23.David Aspinall
2009-09-01Remove some old X-Symbol references.David Aspinall
2009-09-01Remove some old X-Symbol references; update docs.David Aspinall
2009-09-01Spurious 'isabelle ref.David Aspinall
2009-09-01Remove (commented out) x-symbol configurationDavid Aspinall
2009-09-01Comment about GNU Emacs portDavid Aspinall
2009-09-01Fixed a parenthesis bug in pg-pbrpml.el + compatibility with 3.7 where proof-...Christophe Raffalli
2009-09-01hack with phox-prog-name and phox-prog-name-guess to have this phox folder wo...Christophe Raffalli
2009-09-01Removed support for x-symbol (I do not like it because it changes the buffer ...Christophe Raffalli
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 20:27:11 +0000