| Age | Commit message (Expand) | Author |
|---|
| 2009-08-17 | isar-syntactic-context: tweak (still not perfect, loses between "--" and stri... | David Aspinall |
| 2009-08-17 | isar-syntactic-context: fix calls to re-search-backward | David Aspinall |
| 2009-08-17 | isar-syntactic-context: modify proof-looking-at-syntactic-context to allow | David Aspinall |
| 2009-08-14 | Set proof-query-identifier-command in right place. | David Aspinall |
| 2009-08-14 | isar-output-font-lock-keywords-1: enable display of ? and ' again | David Aspinall |
| 2009-08-14 | Do not hide the spurious ASCII characters as it confuses old hands. | David Aspinall |
| 2009-08-12 | Add indirection for setting unicode tokens variables to add customize menu op... | David Aspinall |
| 2009-08-07 | Rename proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-command | David Aspinall |
| 2009-08-06 | Add configuration setting for Find Theorems form | David Aspinall |
| 2009-07-29 | ISABELLE_TOOL refers to "isabelle" tool wrapper; | Makarius Wenzel |
| 2009-05-30 | more robust treatment of options and arguments (via arrays and special @ expa... | Makarius Wenzel |
| 2009-05-26 | 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-03-31 | isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ... | Makarius Wenzel |
| 2009-03-31 | eliminated obsolete non-ASCII specials; | Makarius Wenzel |
| 2008-12-05 | Linear undo command | David Aspinall |
| 2008-12-05 | Hyphen instead of emdash in faked longleftarrow | David Aspinall |
| 2008-09-18 | Fix by Stephan Hohe | David Aspinall |
| 2008-08-03 | Fix tokens | David Aspinall |
| 2008-08-03 | Updated. | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-07-19 | Add lbrace, rbrace | David Aspinall |
| 2008-07-18 | Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviour | 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-11 | backport of recent changes to isar-unicode-tokens.el: | Makarius Wenzel |
| 2008-07-10 | 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-09 | more precise regexps isar-token-match, isar-control-token-match; | Makarius Wenzel |
| 2008-07-07 | 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-05 | Add back |-> shortcut | David Aspinall |
| 2008-07-05 | TEMPORARY: add unicode-tokens2 mechanism to test across different machines | David Aspinall |
| 2008-03-14 | proper indentation; | Makarius Wenzel |
| 2008-02-17 | 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 |
