| Commit message (Expand) | Author | Age |
* | Summary: Build in default path for Isabelle2014 Mac package | David Aspinall | 2015-03-11 |
* | Summary: Fix compile warning on isar-markup-ml | David Aspinall | 2015-03-05 |
* | Fix colours for dark backgrounds | David Aspinall | 2015-03-05 |
* | unicode tokens for \<open>, \<close>, \<newline>; | Makarius Wenzel | 2014-01-18 |
* | more appropriate URL; | Makarius Wenzel | 2013-07-05 |
* | Repair operation with compiled code. Fails with interpreter, see Trac #445 | David Aspinall | 2012-09-02 |
* | Summary: Don't quote lambda expressions | Stefan Monnier | 2012-08-30 |
* | Change default Unicode Tokens font back to DejaVU Sans, more reliable without... | David Aspinall | 2012-04-30 |
* | Add fix and regression test for Trac #138 | David Aspinall | 2011-10-17 |
* | Attempt to support stricter bytecomp warnings | David Aspinall | 2011-10-17 |
* | Require cl only during compile | David Aspinall | 2011-10-17 |
* | Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p... | David Aspinall | 2011-10-13 |
* | brute-force method to enable tool-bar-mode, which is especially important on ... | Makarius Wenzel | 2011-09-17 |
* | clarified isar-improper-regexp -- "prems" is already reported as legacy by th... | Makarius Wenzel | 2011-08-31 |
* | generalized font-lock regexps: isar-text allows any non-control characters to... | Makarius Wenzel | 2011-07-06 |
* | Replace proof-boring-face -> isabelle-quote-face, reported on | David Aspinall | 2011-05-05 |
* | Update with files from Isabelle2011 (no actual changes). | David Aspinall | 2011-01-31 |
* | New files. | David Aspinall | 2011-01-31 |
* | Deleted file | David Aspinall | 2011-01-31 |
* | proof-shell-theorem-dependency-list-regexp: change to match altered output fo... | David Aspinall | 2011-01-31 |
* | auto-solve -> auto-solve-direct for Isabelle2011. | David Aspinall | 2011-01-31 |
* | added option -f FONT; | Makarius Wenzel | 2011-01-27 |
* | Add autotest start | David Aspinall | 2011-01-26 |
* | Remove debug messages | David Aspinall | 2011-01-25 |
* | Update dates and versions | David Aspinall | 2011-01-14 |
* | some attempts to indent 'notepad' 'begin' ... 'end' like a proof body; | Makarius Wenzel | 2010-12-08 |
* | isar-set-undo-commands: prevent opening new script files calling proof-deacti... | David Aspinall | 2010-10-11 |
* | isar-user-tokens: add doc so user can see it when using customize | David Aspinall | 2010-10-10 |
* | Update version numbers, release dates | David Aspinall | 2010-10-01 |
* | use-linear-undo: use default of t again | David Aspinall | 2010-09-08 |
* | Fix bug with nested spans, solving #344/#335 | David Aspinall | 2010-08-27 |
* | Replace proof-terminal-char with proof-terminal-string. | David Aspinall | 2010-08-27 |
* | Add unnecessary quote marks for consistent colouring | David Aspinall | 2010-08-25 |
* | isar-set-undo-commands: encourage the user not to change while processing a b... | David Aspinall | 2010-08-24 |
* | Tidy comments | David Aspinall | 2010-08-24 |
* | isar-strip-terminators: backward-delete-char -> delete-char to fix Emacs 24 c... | David Aspinall | 2010-08-24 |
* | isar-describe-help-keys: remove this, available by default as C-c C-a h C-h | David Aspinall | 2010-08-22 |
* | iasbelle-string-face: Remove italic from defaults because | David Aspinall | 2010-08-19 |
* | Another test file | David Aspinall | 2010-08-18 |
* | Work on Trac #335 (broken old style script management) | David Aspinall | 2010-08-18 |
* | Clean flag settings for profiling. Add AHundredProofs. | David Aspinall | 2010-08-18 |
* | Turn off parallel proofs setting (no noticeable difference for this test file) | David Aspinall | 2010-08-18 |
* | Add command bound to C-c C-a h ? to show available help keys | David Aspinall | 2010-08-18 |
* | Fix key bindings. Ref Trac#334 | David Aspinall | 2010-08-17 |
* | Clean up handling of pending interrupts, remove experimental proof-shell-inte... | David Aspinall | 2010-08-17 |
* | Set proof-shell-interrupts-after-commit = nil | David Aspinall | 2010-08-16 |
* | proof-shell-interrupts-after-commit: support commit-before-interrupt mode [ex... | David Aspinall | 2010-08-15 |
* | Extend testing | David Aspinall | 2010-08-11 |
* | isabelle-quote-face: add this face to customize vanishing quotes | David Aspinall | 2010-08-11 |
* | Experiment with default string font being italic, to match STIX italic. | David Aspinall | 2010-08-11 |