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