aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
2009-10-03Start using new parser, adjusting isar-any-command-regexp.David Aspinall
2009-09-29Documentation.David Aspinall
2009-09-29inline isar-long-id-stuffDavid Aspinall
2009-09-28Functions find-and-forget and count-undos now return lists of commandsDavid Aspinall
2009-09-28Add markup for \<^const> control, complicate `isar-control-char-format-regexp...David Aspinall
2009-09-27Follow Upper Case Convention for menu entriesDavid Aspinall
2009-09-27display_drafts, print_drafts: query to save bufferDavid Aspinall
2009-09-26Add pr to print state in case of linear_undo. See Trac #292.David Aspinall
2009-09-15Revert accidental commitDavid Aspinall
2009-09-15Fix compile errorsDavid Aspinall
2009-09-14Fix compilation.David Aspinall
2009-09-14Add outline-heading-alist setting. Fix compilation.David Aspinall
2009-09-14isar-outline-heading-alist: fix list formatDavid Aspinall
2009-09-14isar-outline-heading-alist: fix list formatDavid Aspinall
2009-09-14isar-outline-heading-alist: fix structureDavid Aspinall
2009-09-14Improve support for outline mode: additional headings and sublevel supportDavid Aspinall
2009-09-14Rename mode namesDavid Aspinall
2009-09-11Bug in \\<diamond> tokenDavid Aspinall
2009-09-10Typo in var name: fixes toggling of use-linear-undo.David Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow pre-proce...David Aspinall
2009-09-09Support linear_undo. Add minimal font-lock for readability in *isabelle*.David Aspinall
2009-09-08Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L...David Aspinall
2009-09-07Fix proof-shell-trace-output-regexp: match on annotation \^AI now tooDavid Aspinall
2009-09-07Require unicode-tokens during compile.David Aspinall
2009-09-07Revert change in 10.26 to use defpacustom after all, this givesDavid Aspinall
2009-09-07Fix initialisation of isar-use-find-theorems-form in compiled file.David Aspinall
2009-09-07Fix compiler warningsDavid Aspinall
2009-09-07isar-use-find-theorems-form: use defcustom, not defpacustomDavid Aspinall
2009-09-07Isabelle->isabelle binary. Remove Isar homepage.David Aspinall
2009-09-07isar-preprocessing: remove unnecessary save-match-data.David Aspinall
2009-09-07Remove \t in \<inverse> expansion.David Aspinall
2009-09-07Remove \t in \<module> expansion.David Aspinall
2009-09-06Remove unused subterm markup codeDavid Aspinall
2009-09-06Configuration changes for shell mode revision.David Aspinall
2009-09-05Fix defcustom typesDavid Aspinall
2009-09-05Separate standard tokens from extended set. Add missing compositions. Set ...David Aspinall
2009-09-05More sensible message for file dialogDavid Aspinall
2009-09-05Updated from Isabelle2009David Aspinall
2009-09-05Add shortcuts for (| and |).David Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-05Add bug refDavid Aspinall
2009-09-05Add custom groupDavid Aspinall
2009-09-04Fix requireDavid Aspinall
2009-09-04Add option to do command wrappingDavid Aspinall
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David Aspinall
2009-09-04Add text_rawDavid Aspinall
2009-09-04Remove proof-no-commandDavid Aspinall
2009-09-03Remove objectionable |> shortcut for Isar hackersDavid Aspinall
2009-09-03output-font-lock-keywords: remove unnecessary bracketsDavid Aspinall
2009-09-03Fix font-lock output keywords for tvars starting ?'David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:57:40 +0000