aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
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
2009-08-31Remove over-enthusiastic single-character shortcutsDavid Aspinall
2009-08-31Disable large symbol font for nowDavid Aspinall
2009-08-30Support dynamic customization. Add additional shortcuts handy for symbolizing...David Aspinall
2009-08-29isar-positions-of: skip whitespace before command startDavid Aspinall
2009-08-28isar-nonwrap-regexp: ML should work (note that there are *many* ML commands);Makarius Wenzel
2009-08-28Fix compile warningsDavid Aspinall
2009-08-28Move fontsymb properties to library file.David Aspinall
2009-08-28Doc: pointer to TokensAcidDavid Aspinall
2009-08-28CommentsDavid Aspinall
2009-08-25Add menu entry for setting proof assistant commandDavid Aspinall
2009-08-22less ambitious array operations -- for improved compatibility with older vers...Makarius Wenzel
2009-08-20Remove spurious junk.David Aspinall
2009-08-19Enhance command markup to pass position information. Extend defaults for res...David Aspinall
2009-08-18Hints about setting position in commandDavid Aspinall
2009-08-18First attempt at command wrapping (see http://proofgeneral.inf.ed.ac.uk/trac/...David Aspinall
2009-08-17Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour...David Aspinall
2009-08-17TidyDavid Aspinall
2009-08-17isar-syntactic-context: tweak (still not perfect, loses between "--" and stri...David Aspinall
2009-08-17isar-syntactic-context: fix calls to re-search-backwardDavid Aspinall
2009-08-17isar-syntactic-context: modify proof-looking-at-syntactic-context to allowDavid Aspinall
2009-08-14Set proof-query-identifier-command in right place.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:32:25 +0000