aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2008-07-19Add lbrace, rbraceDavid Aspinall
2008-07-19Set version tag for new release.David Aspinall
2008-07-19Updated.David Aspinall
2008-07-19Fix typo.David Aspinall
2008-07-18Updated.David Aspinall
2008-07-18Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviourDavid Aspinall
2008-07-18Mac OS: default to XSymb1.ttf;Makarius Wenzel
2008-07-18added scalable X-Symbol fonts -- the Jerusalem version from 2004;Makarius Wenzel
2008-07-17Set version tag for new release.David Aspinall
2008-07-16Remove mention of unicode-tokens2David Aspinall
2008-07-16Remove use of :help for menu tooltips- GNU Emacs only.David Aspinall
2008-07-16Deleted fileDavid Aspinall
2008-07-12backport of recent changes to lib/unicode-tokens.el:Makarius Wenzel
2008-07-12Updated.David Aspinall
2008-07-12Updated.David Aspinall
2008-07-12Update for 3.7.1David Aspinall
2008-07-12New files.David Aspinall
2008-07-12Update docstringsDavid Aspinall
2008-07-12Fix loading of multiple prover files: set proof-assistant-table to nil so pro...David Aspinall
2008-07-12Set version tag for new release.David Aspinall
2008-07-12Updated.David Aspinall
2008-07-12Correct italic attributeDavid Aspinall
2008-07-11x-symbol-xsymb0/1-fonts: more liberal patterns makes it work with scalable xs...Makarius Wenzel
2008-07-11backport of recent changes to isar-unicode-tokens.el:Makarius Wenzel
2008-07-10Add NOTEDavid Aspinall
2008-07-10Updated.David Aspinall
2008-07-10Add other sup/subs to format menu.David Aspinall
2008-07-10Add format menu. Improve attempt to handle font-lock-face annotations. Stil...David Aspinall
2008-07-10Disable Unicode Tokens 2David Aspinall
2008-07-10Documentation.David Aspinall
2008-07-10Set version tag for new release.David Aspinall
2008-07-10Extend documentation for logic setting mechanism (needs magic update)David Aspinall
2008-07-10Add hook for hack-local-variables-hook to give warning about chosen logic cha...David Aspinall
2008-07-10Add doc for `isabelle-chosen-logic\'David Aspinall
2008-07-10New files.David Aspinall
2008-07-10Use proof-guess-command-line to adjust command line when starting Isabelle.David Aspinall
2008-07-10Updated.David Aspinall
2008-07-10removed obsolete comment;Makarius Wenzel
2008-07-10Start to rationalise setting for proof-prog-name.David Aspinall
2008-07-10Minimal patch for Sledgehammer problem with Isabelle.David Aspinall
2008-07-10Add isub and isup to unicode-tokens-annotation-control-token-alistDavid Aspinall
2008-07-10Reverse 8.28, buffer-substring-no-properties -> buffer-substring.David Aspinall
2008-07-09cover isup as well;Makarius Wenzel
2008-07-09more precise regexps isar-token-match, isar-control-token-match;Makarius Wenzel
2008-07-09Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may cau...David Aspinall
2008-07-08Set version tag for new release.David Aspinall
2008-07-07isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expe...Makarius Wenzel
2008-07-07isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a partic...Makarius Wenzel
2008-07-07unicode shortcut alist: literal backslash instead of strange control sequence...Makarius Wenzel
2008-07-07Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 05:16:00 +0000