aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Clarify that editing this script is expectedGravatar David Aspinall2008-07-19
* New files.Gravatar David Aspinall2008-07-19
* Update for new syntaxGravatar David Aspinall2008-07-19
* Add lbrace, rbraceGravatar David Aspinall2008-07-19
* Set version tag for new release.Gravatar David Aspinall2008-07-19
* Updated.Gravatar David Aspinall2008-07-19
* Fix typo.Gravatar David Aspinall2008-07-19
* Updated.Gravatar David Aspinall2008-07-18
* Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviourGravatar David Aspinall2008-07-18
* Mac OS: default to XSymb1.ttf;Gravatar Makarius Wenzel2008-07-18
* added scalable X-Symbol fonts -- the Jerusalem version from 2004;Gravatar Makarius Wenzel2008-07-18
* Set version tag for new release.Gravatar David Aspinall2008-07-17
* Remove mention of unicode-tokens2Gravatar David Aspinall2008-07-16
* Remove use of :help for menu tooltips- GNU Emacs only.Gravatar David Aspinall2008-07-16
* Deleted fileGravatar David Aspinall2008-07-16
* backport of recent changes to lib/unicode-tokens.el:Gravatar Makarius Wenzel2008-07-12
* Updated.Gravatar David Aspinall2008-07-12
* Updated.Gravatar David Aspinall2008-07-12
* Update for 3.7.1Gravatar David Aspinall2008-07-12
* New files.Gravatar David Aspinall2008-07-12
* Update docstringsGravatar David Aspinall2008-07-12
* Fix loading of multiple prover files: set proof-assistant-table to nil so pro...Gravatar David Aspinall2008-07-12
* Set version tag for new release.Gravatar David Aspinall2008-07-12
* Updated.Gravatar David Aspinall2008-07-12
* Correct italic attributeGravatar David Aspinall2008-07-12
* x-symbol-xsymb0/1-fonts: more liberal patterns makes it work with scalable xs...Gravatar Makarius Wenzel2008-07-11
* backport of recent changes to isar-unicode-tokens.el:Gravatar Makarius Wenzel2008-07-11
* Add NOTEGravatar David Aspinall2008-07-10
* Updated.Gravatar David Aspinall2008-07-10
* Add other sup/subs to format menu.Gravatar David Aspinall2008-07-10
* Add format menu. Improve attempt to handle font-lock-face annotations. Stil...Gravatar David Aspinall2008-07-10
* Disable Unicode Tokens 2Gravatar David Aspinall2008-07-10
* Documentation.Gravatar David Aspinall2008-07-10
* Set version tag for new release.Gravatar David Aspinall2008-07-10
* Extend documentation for logic setting mechanism (needs magic update)Gravatar David Aspinall2008-07-10
* Add hook for hack-local-variables-hook to give warning about chosen logic cha...Gravatar David Aspinall2008-07-10
* Add doc for `isabelle-chosen-logic\'Gravatar David Aspinall2008-07-10
* New files.Gravatar David Aspinall2008-07-10
* Use proof-guess-command-line to adjust command line when starting Isabelle.Gravatar David Aspinall2008-07-10
* Updated.Gravatar David Aspinall2008-07-10
* removed obsolete comment;Gravatar Makarius Wenzel2008-07-10
* Start to rationalise setting for proof-prog-name.Gravatar David Aspinall2008-07-10
* Minimal patch for Sledgehammer problem with Isabelle.Gravatar David Aspinall2008-07-10
* Add isub and isup to unicode-tokens-annotation-control-token-alistGravatar David Aspinall2008-07-10
* Reverse 8.28, buffer-substring-no-properties -> buffer-substring.Gravatar David Aspinall2008-07-10
* cover isup as well;Gravatar Makarius Wenzel2008-07-09
* more precise regexps isar-token-match, isar-control-token-match;Gravatar Makarius Wenzel2008-07-09
* Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may cau...Gravatar David Aspinall2008-07-09
* Set version tag for new release.Gravatar David Aspinall2008-07-08
* isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expe...Gravatar Makarius Wenzel2008-07-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 16:06:11 +0000