Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 ↵ | David Aspinall | 2010-08-17 | |
| | | | | proof-shell-interrupts-after-commit. | |||
* | Set proof-shell-interrupts-after-commit = nil | David Aspinall | 2010-08-16 | |
| | ||||
* | proof-shell-interrupts-after-commit: support commit-before-interrupt mode ↵ | David Aspinall | 2010-08-15 | |
| | | | | [experimental/temporary]. | |||
* | 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 | |
| | ||||
* | Support custom syntactic fontification. | David Aspinall | 2010-08-11 | |
| | ||||
* | isabelle-string-face: switch to a more traditional green | David Aspinall | 2010-08-11 | |
| | | | | (strings are brown, but logic is green) | |||
* | Fix compile and spelling | David Aspinall | 2010-08-09 | |
| | ||||
* | Use pg-dev profiling configuration | David Aspinall | 2010-08-09 | |
| | ||||
* | Note complete | David Aspinall | 2010-08-08 | |
| | ||||
* | isabelle-string-face: introduce custom string colour as font lock default is ↵ | David Aspinall | 2010-08-04 | |
| | | | | terrible | |||
* | Swap phi and varphi for better consistency with STIX. | David Aspinall | 2010-08-04 | |
| | ||||
* | isar-remove-file: remove (tail) recursion, leads to stack overflow | David Aspinall | 2010-08-04 | |
| | ||||
* | Separate profiling from testing | David Aspinall | 2010-08-03 | |
| | ||||
* | Fix compile | David Aspinall | 2010-08-03 | |
| | ||||
* | Fix compilation | David Aspinall | 2010-08-03 | |
| | ||||
* | Resurrect autotest framework | David Aspinall | 2010-08-03 | |
| | ||||
* | less surprising unicode tokens: <-> corresponds to longleftrightarrow in ↵ | Makarius Wenzel | 2010-08-03 | |
| | | | | common Isabelle theories (according to symbol length not shape), emdash is not predefined by default and confuses typical LaTeX source; | |||
* | Move distribution examples into subdir | David Aspinall | 2010-08-03 | |
| | ||||
* | Fix theory name | David Aspinall | 2010-08-03 | |
| | ||||
* | Deleted file | David Aspinall | 2010-08-03 | |
| | ||||
* | Fix for matching names in regexps, restores behaviour of name-aware code ↵ | David Aspinall | 2010-08-02 | |
| | | | | such as imenu. | |||
* | isar-shell-adjust-line-width: save-excursion -> with-current-buffer to avoid | David Aspinall | 2010-07-01 | |
| | | | | spurious warning in Emacs 23.2 | |||
* | removed some old commands; | Makarius Wenzel | 2010-06-29 | |
| | ||||
* | update from Isabelle2009-2; | Makarius Wenzel | 2010-06-29 | |
| | ||||
* | more robust treatment of spaces in directory names; | Makarius Wenzel | 2009-12-07 | |
| | ||||
* | Revert spurious commits | David Aspinall | 2009-12-03 | |
| | ||||
* | Change of type for proof-script-span-context-menu-extensions | David Aspinall | 2009-12-03 | |
| | ||||
* | Fix compile error (isar-prog-args unknown). | David Aspinall | 2009-12-02 | |
| | ||||
* | Add rest of standard token symbols for alphabets in other fonts | David Aspinall | 2009-12-01 | |
| | | | | (e.g. fraktur lower case \<aa>, whatever these are supposed to look like). | |||
* | isar-control-char-format-regexp: correct to only affect next char/symbol | David Aspinall | 2009-12-01 | |
| | | | | isar-control-regions: add \<^bisup>..\<^eisup> and \<^bisub>..\<^eisub> | |||
* | isabelle-set-prog-name: avoid calling split-string with nil arg. | David Aspinall | 2009-12-01 | |
| | ||||
* | isar-ids-to-regexp: regexp-opt with 'words arg (non-shy matching inside | David Aspinall | 2009-12-01 | |
| | | | | | | \< \>) appears to work on Emacs 22, hopefully repairing http://proofgeneral.inf.ed.ac.uk/trac/ticket/300. Also replace proof-splice-separator -> mapconcat builtin. | |||
* | typo | David Aspinall | 2009-12-01 | |
| | ||||
* | isar-control-char-format-regexp: prevent subsequent control chars being captured | David Aspinall | 2009-12-01 | |
| | ||||
* | isabelle-set-prog-name: more robust treatment of spaces in arguments; | Makarius Wenzel | 2009-11-28 | |
| | ||||
* | additional menu entries; | Makarius Wenzel | 2009-11-26 | |
| | ||||
* | define isar-pr as load-time constant; | Makarius Wenzel | 2009-11-24 | |
| | ||||
* | Use ProofGeneral.pr if available. See Trac #292. | David Aspinall | 2009-11-23 | |
| | ||||
* | tvar font-lock: allow more than one ? (as in inference parameter ??'a); | Makarius Wenzel | 2009-11-21 | |
| | ||||
* | more robust THIS/SUPER: allow spaces; | Makarius Wenzel | 2009-11-21 | |
| | | | | | modernized usage, eliminated obsolete options -I, -P, -X, -f; re-interpreted option -x as "unicode symbols"; | |||
* | menu items for atp_info, atp_kill; | Makarius Wenzel | 2009-10-21 | |
| | ||||
* | disable indent-tabs-mode for theory mode; | Makarius Wenzel | 2009-10-17 | |
| | ||||
* | Remove function-menu setting | David Aspinall | 2009-10-14 | |
| | ||||
* | named entity needed for goal-with-hole | David Aspinall | 2009-10-14 | |
| | ||||
* | Remove fume settings | David Aspinall | 2009-10-14 | |
| |