aboutsummaryrefslogtreecommitdiff
path: root/isar/isar.el
AgeCommit message (Expand)Author
2009-09-28Functions find-and-forget and count-undos now return lists of commandsDavid Aspinall
2009-09-27display_drafts, print_drafts: query to save bufferDavid Aspinall
2009-09-15Fix compile errorsDavid Aspinall
2009-09-14Add outline-heading-alist setting. Fix compilation.David Aspinall
2009-09-14Rename mode namesDavid 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-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-07isar-preprocessing: remove unnecessary save-match-data.David Aspinall
2009-09-06Configuration changes for shell mode revision.David Aspinall
2009-09-05Add bug refDavid Aspinall
2009-09-04Add option to do command wrappingDavid Aspinall
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David Aspinall
2009-09-04Remove proof-no-commandDavid Aspinall
2009-08-31Doc fixesDavid Aspinall
2009-08-31Prevent reporting column number back to Isabelle processDavid Aspinall
2009-08-31Quick fix to isar-remove-file, see trac #274David 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-28CommentsDavid Aspinall
2009-08-25Add menu entry for setting proof assistant commandDavid 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-17TidyDavid Aspinall
2009-08-14Set proof-query-identifier-command in right place.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-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-26Rename isatool -> isabelleDavid Aspinall
2009-03-31eliminated obsolete non-ASCII specials;Makarius Wenzel
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-10Use proof-guess-command-line to adjust command line when starting Isabelle.David Aspinall
2008-07-10Start to rationalise setting for proof-prog-name.David Aspinall
2008-02-17Remove isar-activate-scripting, which was identical to defaultDavid Aspinall
2008-02-17Set proof-shell-eager-annotation-start-length=2. This should have beenDavid Aspinall
2008-02-04Add mode documentationDavid Aspinall
2008-01-29Set proof-shell-trace-output-regexp early enough to have effect. Fixes trac ...David Aspinall
2008-01-24Add key binding for ML {* *} and fix longsuper, longsubDavid Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-12-14Move x-symbol-isabelle -> x-symbol-isar to simplify setup.David Aspinall
2007-12-14Typo in pg-special-char-regexpDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 14:39:58 +0000