| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2008-02-17 | Set proof-shell-eager-annotation-start-length=2. This should have been | David Aspinall |
| 2008-02-13 | tuned comment; | Makarius Wenzel |
| 2008-02-06 | accomodate Carbon Emacs: keep window system enabled, even if no DISPLAY; | Makarius Wenzel |
| 2008-02-05 | Remove ligature/latin1 symbols. Trim short cuts | David Aspinall |
| 2008-02-04 | 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-01-31 | Updated. | David Aspinall |
| 2008-01-31 | Update maintainers to add back the key person, 8-). | David Aspinall |
| 2008-01-30 | Harmonise a bit more with X-Symbols. Add customization facility | David Aspinall |
| 2008-01-29 | isar-undos: fix bug trac #189 introduced by attempt to remove proof-no-command. | David Aspinall |
| 2008-01-29 | Set proof-shell-trace-output-regexp early enough to have effect. Fixes trac ... | David Aspinall |
| 2008-01-28 | Switch to fake long symbols | David Aspinall |
| 2008-01-28 | Prevent prompt during compilation | David Aspinall |
| 2008-01-28 | Add hooks for unicode tokens within proof shell | David Aspinall |
| 2008-01-28 | Add shortcuts for tokens. | David Aspinall |
| 2008-01-27 | Switch token table mapping destination from glyph names to unicode strings. ... | David Aspinall |
| 2008-01-25 | fixed usage: default for option -p is emacs, not xemacs; | Makarius Wenzel |
| 2008-01-25 | Fix previous change. | David Aspinall |
| 2008-01-25 | Make isatool usage (view doc) compatible with proof-rsh-command. | David Aspinall |
| 2008-01-25 | Make isatool usage compatible with proof-rsh-command. | David Aspinall |
| 2008-01-25 | New files. | David Aspinall |
| 2008-01-24 | Remove use of proof-ass | David Aspinall |
| 2008-01-24 | Add key binding for ML {* *} and fix longsuper, longsub | David Aspinall |
| 2008-01-16 | Updated. | David Aspinall |
| 2008-01-16 | Updated. | David Aspinall |
| 2008-01-15 | Default to using emacs now | David Aspinall |
| 2008-01-15 | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall |
| 2007-12-14 | Move x-symbol-isabelle -> x-symbol-isar to simplify setup. | David Aspinall |
| 2007-12-14 | Deleted file | David Aspinall |
| 2007-12-14 | Typo in pg-special-char-regexp | David Aspinall |
| 2007-12-14 | x-symbol-isabelle-prepare-table: specialise to Isar (usefully removes depende... | David Aspinall |
| 2007-12-14 | Remove eval-when, seems unreliable | David Aspinall |
| 2007-12-14 | Improve loading; these tests are not functioning yet | David Aspinall |
| 2007-12-14 | Make value of pg-special-char-regexp depend on proof-shell-unicode. | David Aspinall |
| 2007-12-13 | Cleanup. Add more insertion commands. | David Aspinall |
| 2007-12-13 | Deleted file | David Aspinall |
| 2007-12-09 | Comment unused function | David Aspinall |
| 2007-11-20 | clarify that -U now defaults to true; | Makarius Wenzel |
| 2007-11-13 | command 'thm' makes no sense outside a proper context; | Makarius Wenzel |
| 2007-11-12 | Versions | David Aspinall |
| 2007-10-24 | proof-shell-issue-pgip-cmd is always isabelle-process-pgip; | Makarius Wenzel |
| 2007-10-24 | removed obsolete isabelle-version-string, isa-version, isa-supports-pgip; | Makarius Wenzel |
| 2007-10-18 | isar-find-and-forget: no special treatment of begin/end, just plain undo | Makarius Wenzel |
| 2007-10-18 | isar-undo-fail-regexp: only isar-keywords-control, not isar-keywords-theory-end; | Makarius Wenzel |
| 2007-09-07 | allow more specials: oct 327 .. oct 340; | Makarius Wenzel |
