Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | |
| | ||||
* | Start using new parser, adjusting isar-any-command-regexp. | David Aspinall | 2009-10-03 | |
| | ||||
* | Documentation. | David Aspinall | 2009-09-29 | |
| | ||||
* | inline isar-long-id-stuff | David Aspinall | 2009-09-29 | |
| | ||||
* | Functions find-and-forget and count-undos now return lists of commands | David Aspinall | 2009-09-28 | |
| | ||||
* | Add markup for \<^const> control, complicate ↵ | David Aspinall | 2009-09-28 | |
| | | | | `isar-control-char-format-regexp' to markup identifiers | |||
* | Follow Upper Case Convention for menu entries | David Aspinall | 2009-09-27 | |
| | ||||
* | display_drafts, print_drafts: query to save buffer | David Aspinall | 2009-09-27 | |
| | | | | | Follow Upper Case Convention for menu entries Remove duplicate menu entry: Commands -> set isabelle | |||
* | Add pr to print state in case of linear_undo. See Trac #292. | David Aspinall | 2009-09-26 | |
| | | | | | Still not ideal: when there is no proof state, we'd prefer that an empty goal screen is displayed. |