| Commit message (Expand) | Author | Age |
* | Revert "logic" fix. | David Aspinall | 2009-05-26 |
* | More isatool->isabelle renamings and an (old) logic fix | David Aspinall | 2009-05-26 |
* | Correct Unicode support | David Aspinall | 2009-05-26 |
* | Update version, latest only. | David Aspinall | 2009-05-26 |
* | Remove yank-handler experiment, in favour of buffer-substring-filters | David Aspinall | 2009-05-26 |
* | isar-strip-output-markup: simple output markup stripping | David Aspinall | 2009-05-26 |
* | Set strip-output-function for pasting. Adjust font-lock handling to | David Aspinall | 2009-05-26 |
* | Add proof-electric-terminator-noterminator behaviour for Isar | David Aspinall | 2009-05-26 |
* | Hide goals marker start again (Isabelle2009 doesn't markup subgoals) | David Aspinall | 2009-05-26 |
* | Rename isatool -> isabelle | David Aspinall | 2009-05-26 |
* | Add highlighting for sendback | David Aspinall | 2009-05-26 |
* | isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ... | Makarius Wenzel | 2009-03-31 |
* | eliminated obsolete non-ASCII specials; | Makarius Wenzel | 2009-03-31 |
* | Linear undo command | David Aspinall | 2008-12-05 |
* | Hyphen instead of emdash in faked longleftarrow | David Aspinall | 2008-12-05 |
* | Fix by Stephan Hohe | David Aspinall | 2008-09-18 |
* | Fix tokens | David Aspinall | 2008-08-03 |
* | Updated. | David Aspinall | 2008-08-03 |
* | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
* | Add lbrace, rbrace | David Aspinall | 2008-07-19 |
* | Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviour | David Aspinall | 2008-07-18 |
* | Remove use of :help for menu tooltips- GNU Emacs only. | David Aspinall | 2008-07-16 |
* | Deleted file | David Aspinall | 2008-07-16 |
* | backport of recent changes to isar-unicode-tokens.el: | Makarius Wenzel | 2008-07-11 |
* | Add hook for hack-local-variables-hook to give warning about chosen logic cha... | David Aspinall | 2008-07-10 |
* | Use proof-guess-command-line to adjust command line when starting Isabelle. | 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 |
* | more precise regexps isar-token-match, isar-control-token-match; | Makarius Wenzel | 2008-07-09 |
* | isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expe... | Makarius Wenzel | 2008-07-07 |
* | isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a partic... | Makarius Wenzel | 2008-07-07 |
* | unicode shortcut alist: literal backslash instead of strange control sequence... | Makarius Wenzel | 2008-07-07 |
* | defface: using proof-face-specs makes faces appear on non-X11 window systems ... | Makarius Wenzel | 2008-07-07 |
* | Add back |-> shortcut | David Aspinall | 2008-07-05 |
* | TEMPORARY: add unicode-tokens2 mechanism to test across different machines | David Aspinall | 2008-07-05 |
* | proper indentation; | Makarius Wenzel | 2008-03-14 |
* | Missing backslashes. | David Aspinall | 2008-02-17 |
* | Experimental use of fonts for \<AA> etc. Disable some contentious shortcuts | David Aspinall | 2008-02-17 |
* | Remove isar-activate-scripting, which was identical to default | David Aspinall | 2008-02-17 |
* | Set proof-shell-eager-annotation-start-length=2. This should have been | David Aspinall | 2008-02-17 |
* | tuned comment; | Makarius Wenzel | 2008-02-13 |
* | accomodate Carbon Emacs: keep window system enabled, even if no DISPLAY; | Makarius Wenzel | 2008-02-06 |
* | Remove ligature/latin1 symbols. Trim short cuts | David Aspinall | 2008-02-05 |
* | Disable warnings. | David Aspinall | 2008-02-04 |
* | Support Isabelle control sequences for subscripts/superscripts | David Aspinall | 2008-02-04 |
* | Add mode documentation | David Aspinall | 2008-02-04 |
* | Go back to isabellesym.sty as master symbol list | David Aspinall | 2008-02-04 |
* | Updated. | David Aspinall | 2008-01-31 |
* | Update maintainers to add back the key person, 8-). | David Aspinall | 2008-01-31 |
* | Harmonise a bit more with X-Symbols. Add customization facility | David Aspinall | 2008-01-30 |