aboutsummaryrefslogtreecommitdiff
path: root/isar/isar.el
AgeCommit message (Expand)Author
2002-05-10tuned isar-strip-terminators;Makarius Wenzel
2002-05-03tuned comment;Makarius Wenzel
2002-05-03tuned proof-next-error setup;Makarius Wenzel
2002-05-03Added support for proof-shell-next-errorDavid Aspinall
2002-05-03Add support for proof-next-error.David Aspinall
2002-02-12observe isar-undo-ignore-regexp in isar-count-undos and isar-find-and-forget;Makarius Wenzel
2002-02-08more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;Makarius Wenzel
2002-01-16Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookDavid Aspinall
2002-01-16Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpDavid Aspinall
2001-12-21do not set proof-shell-quit-cmd (admits persistent sessions);Makarius Wenzel
2001-12-05activate proof-shell-spill-output-regexp;Makarius Wenzel
2001-12-04isar specific commands for bold/sup/sub;Makarius Wenzel
2001-11-24proof-shell-spill-output-regexp temporarily disabled;Makarius Wenzel
2001-11-20set proof-shell-spill-output-regexp;Makarius Wenzel
2001-10-04added isar-help-induct-rules;Makarius Wenzel
2001-09-03Set proof-goal-with-hole-regexpDavid Aspinall
2001-08-30proof-script-integral-proofs t;Makarius Wenzel
2001-08-28Change of proof span type back to goalsaveDavid Aspinall
2001-08-10Change buffer-syntactic-context -> proof-buffer-syntactic-contextDavid Aspinall
2001-01-18proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid \\\\;Makarius Wenzel
2001-01-12proof-string-match;Makarius Wenzel
2000-12-28include x-symbol-isabelle-font-lock-keywords in shell/goals/response buffers;Makarius Wenzel
2000-12-20goalsave -> proofDavid Aspinall
2000-09-28isar-web-page;Makarius Wenzel
2000-09-27tuned docstring;Makarius Wenzel
2000-09-21tuned comment;Makarius Wenzel
2000-09-19isar-toolbar-entries: remove 'goal and 'qed;Makarius Wenzel
2000-09-17removed proof-shell-pre-sync-init-cmd (init now handled by -PI optionsMakarius Wenzel
2000-09-03removed unused variable C;Makarius Wenzel
2000-08-30use isar-markup-ml;Makarius Wenzel
2000-08-28Change name of mode: isar-proofscript-mode -> isar-mode and removeDavid Aspinall
2000-08-28cd command: add_path;Makarius Wenzel
2000-08-07cleaned up outline stuff;Makarius Wenzel
2000-08-03added isar-help functions / keys (how do I get keys into menus?);Makarius Wenzel
2000-07-19use ML_command to avoid unwanted output;Makarius Wenzel
2000-07-08proof-prog-name: use isabelle-command-line;Makarius Wenzel
2000-07-06tuned help-menu-entries;Makarius Wenzel
2000-07-01improved help menu;Makarius Wenzel
2000-06-27TidyDavid Aspinall
2000-06-16proper function-menu (fume) setup;Makarius Wenzel
2000-06-16Tuned x-symbol config, moved settings to isabelle-system.elDavid Aspinall
2000-06-09proof-shell-error-regexp;Makarius Wenzel
2000-06-08new indentation setup;Makarius Wenzel
2000-06-07Failed attempted hack to support ML files in isar mode (see comments in isar-...David Aspinall
2000-06-06Allowed ; to terminate a command by including it in regexp for cmdstartDavid Aspinall
2000-06-05proof-indent-commands-regexp: use proof-no-regexp;Makarius Wenzel
2000-06-05Temporary bug fix to solve nil span error messageDavid Aspinall
2000-06-04replaced isar-verbatim by isabelle-verbatim;Makarius Wenzel
2000-06-01Remove setting of proof-segment-up-toDavid Aspinall
2000-05-30isar-preprocessing inserts final terminator if none there.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 23:57:34 +0000