| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2008-07-05 | Clarify unimplemented settings | David Aspinall | |
| 2008-07-05 | Add use-holes setting. | David Aspinall | |
| 2008-07-05 | Remove faulty test | David Aspinall | |
| 2008-07-05 | Add back |-> shortcut | David Aspinall | |
| 2008-07-05 | Revert cursor hide in goals and response to avoid user confusion; use bar ↵ | David Aspinall | |
| cursor. | |||
| 2008-07-05 | Trac regressions | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |