| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2008-07-18 | Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviour | David Aspinall | |
| with cut-and-paste and when typing tokens directly. Trac#223. | |||
| 2008-07-18 | Mac OS: default to XSymb1.ttf; | Makarius Wenzel | |
| 2008-07-18 | added scalable X-Symbol fonts -- the Jerusalem version from 2004; | Makarius Wenzel | |
| 2008-07-17 | Set version tag for new release. | David Aspinall | |
| 2008-07-16 | Remove mention of unicode-tokens2 | David Aspinall | |
| 2008-07-16 | Remove use of :help for menu tooltips- GNU Emacs only. | David Aspinall | |
| 2008-07-16 | Deleted file | David Aspinall | |
| 2008-07-12 | backport of recent changes to lib/unicode-tokens.el: | Makarius Wenzel | |
| cover isup as well; | |||
| 2008-07-12 | Updated. | David Aspinall | |
| 2008-07-12 | Updated. | David Aspinall | |
| 2008-07-12 | Update for 3.7.1 | David Aspinall | |
| 2008-07-12 | New files. | David Aspinall | |
| 2008-07-12 | Update docstrings | David Aspinall | |
| 2008-07-12 | Fix loading of multiple prover files: set proof-assistant-table to nil so ↵ | David Aspinall | |
| proof-ready-for-assitant works | |||
| 2008-07-12 | Set version tag for new release. | David Aspinall | |
| 2008-07-12 | Updated. | David Aspinall | |
| 2008-07-12 | Correct italic attribute | David Aspinall | |
| 2008-07-11 | x-symbol-xsymb0/1-fonts: more liberal patterns makes it work with scalable ↵ | Makarius Wenzel | |
| xsymb font; | |||
| 2008-07-11 | backport of recent changes to isar-unicode-tokens.el: | Makarius Wenzel | |
| more precise regexps isar-token-match, isar-control-token-match; isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expects; isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a particular meaning in Isabelle; add back |-> shortcut; | |||
| 2008-07-10 | Add NOTE | David Aspinall | |
| 2008-07-10 | Updated. | David Aspinall | |
| 2008-07-10 | Add other sup/subs to format menu. | David Aspinall | |
| 2008-07-10 | Add format menu. Improve attempt to handle font-lock-face annotations. ↵ | David Aspinall | |
| Still faulty. | |||
| 2008-07-10 | Disable Unicode Tokens 2 | David Aspinall | |
| 2008-07-10 | Documentation. | David Aspinall | |
| 2008-07-10 | Set version tag for new release. | David Aspinall | |
| 2008-07-10 | Extend documentation for logic setting mechanism (needs magic update) | David Aspinall | |
| 2008-07-10 | Add hook for hack-local-variables-hook to give warning about chosen logic ↵ | David Aspinall | |
| change. Also logic menu tooltips. | |||
| 2008-07-10 | Add doc for `isabelle-chosen-logic\' | David Aspinall | |
| 2008-07-10 | New files. | David Aspinall | |
| 2008-07-10 | Use proof-guess-command-line to adjust command line when starting Isabelle. | David Aspinall | |
| 2008-07-10 | Updated. | David Aspinall | |
| 2008-07-10 | removed obsolete comment; | Makarius Wenzel | |
| 2008-07-10 | Start to rationalise setting for proof-prog-name. | David Aspinall | |
| 2008-07-10 | Minimal patch for Sledgehammer problem with Isabelle. | David Aspinall | |
| Credit due to Makarius. Tested *very briefly* with Coq. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/200 | |||
| 2008-07-10 | Add isub and isup to unicode-tokens-annotation-control-token-alist | David Aspinall | |
| Part of patch from Simon Winwood. | |||
| 2008-07-10 | Reverse 8.28, buffer-substring-no-properties -> buffer-substring. | David Aspinall | |
| This fixes Unicode Tokens handling of sub/super scripts, etc. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/214 Thanks to Simon Winwood for identifying failure point. | |||
| 2008-07-09 | cover isup as well; | Makarius Wenzel | |
| 2008-07-09 | more precise regexps isar-token-match, isar-control-token-match; | Makarius Wenzel | |
| 2008-07-09 | Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may ↵ | David Aspinall | |
| cause breakage on older Emacs (tested on 22.2). | |||
| 2008-07-08 | Set version tag for new release. | David Aspinall | |
| 2008-07-07 | isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal ↵ | Makarius Wenzel | |
| expects; | |||
| 2008-07-07 | isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a ↵ | Makarius Wenzel | |
| particular meaning in Isabelle; | |||
| 2008-07-07 | unicode shortcut alist: literal backslash instead of strange control ↵ | Makarius Wenzel | |
| sequence, e.g. "\\nat" instead of "\nat"; | |||
| 2008-07-07 | Set version tag for new release. | David Aspinall | |
| 2008-07-07 | defface: using proof-face-specs makes faces appear on non-X11 window systems ↵ | Makarius Wenzel | |
| as well; | |||
| 2008-07-06 | New files. | David Aspinall | |
| 2008-07-06 | Set version tag for new release. | David Aspinall | |
| 2008-07-05 | Deleted file | David Aspinall | |
| 2008-07-05 | Set version tag for new release. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |