aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
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
2009-09-02Isabelle2008 compatibility;Makarius Wenzel
2009-09-02proper backslash escape;Makarius Wenzel
2009-08-31Doc fixesDavid Aspinall
2009-08-31Prevent reporting column number back to Isabelle processDavid Aspinall
2009-08-31Merge in Isar and Coq bugsDavid Aspinall
2009-08-31Quick fix to isar-remove-file, see trac #274David Aspinall
2009-08-31Add custom docDavid Aspinall
2009-08-31isar-symbol-shortcuts: add customizationDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:23:02 +0000