aboutsummaryrefslogtreecommitdiff
path: root/isar/isar.el
AgeCommit message (Expand)Author
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
2000-05-29Set settings format function before calculating initial command. Add hilit f...David Aspinall
2000-05-29Use generic default setting mechanism now. Add isar-markup-ml here.David Aspinall
2000-05-25Removed spurious code in isar-mode function.David Aspinall
2000-05-25Patch for synchronization problem in Coq, perhaps others.David Aspinall
2000-05-22replaced proof-ids-to-regexp by isar-ids-to-regexp, which admitsMakarius Wenzel
2000-05-19isar-verbatim-regexp: include \n;Makarius Wenzel
2000-05-17re-use isa/interface-setup.el rather than separate isar version;Makarius Wenzel
2000-05-12Modification of proof-shell-init-cmd. Markus, please help...David Aspinall
2000-05-11Load isabelle-system file shared with Isabelle Proof General.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 19:00:18 +0000