aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
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
2009-08-14isar-output-font-lock-keywords-1: enable display of ? and ' againDavid Aspinall
2009-08-14Do not hide the spurious ASCII characters as it confuses old hands.David Aspinall
2009-08-12Add indirection for setting unicode tokens variables to add customize menu op...David Aspinall
2009-08-07Rename proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-commandDavid Aspinall
2009-08-06Add configuration setting for Find Theorems formDavid Aspinall
2009-07-29ISABELLE_TOOL refers to "isabelle" tool wrapper;Makarius Wenzel
2009-05-30more robust treatment of options and arguments (via arrays and special @ expa...Makarius Wenzel
2009-05-26Revert "logic" fix.David Aspinall
2009-05-26More isatool->isabelle renamings and an (old) logic fixDavid Aspinall
2009-05-26Correct Unicode supportDavid Aspinall
2009-05-26Update version, latest only.David Aspinall
2009-05-26Remove yank-handler experiment, in favour of buffer-substring-filtersDavid Aspinall
2009-05-26isar-strip-output-markup: simple output markup strippingDavid Aspinall
2009-05-26Set strip-output-function for pasting. Adjust font-lock handling toDavid Aspinall
2009-05-26Add proof-electric-terminator-noterminator behaviour for IsarDavid Aspinall
2009-05-26Hide goals marker start again (Isabelle2009 doesn't markup subgoals)David Aspinall
2009-05-26Rename isatool -> isabelleDavid Aspinall
2009-05-26Add highlighting for sendbackDavid Aspinall
2009-03-31isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ...Makarius Wenzel
2009-03-31eliminated obsolete non-ASCII specials;Makarius Wenzel
2008-12-05Linear undo commandDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:09:38 +0000