aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
2000-07-01improved help menu;Makarius Wenzel
2000-07-01removed 'help';Makarius Wenzel
2000-06-30added method_setup;Makarius Wenzel
2000-06-27Note about typing in shell bufferDavid Aspinall
2000-06-27TidyDavid Aspinall
2000-06-22Extra note.David 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-16Deleted files.David Aspinall
2000-06-15Note to mergeDavid Aspinall
2000-06-10new indentation setup;Makarius Wenzel
2000-06-09proof-shell-error-regexp;Makarius Wenzel
2000-06-08new indentation setup;Makarius Wenzel
2000-06-08new indentation setup;Makarius Wenzel
2000-06-08isar-keywords-proof-open/close;Makarius Wenzel
2000-06-08proper indentation;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-05isar-save-with-hole-regexp: proof-no-regexp;Makarius Wenzel
2000-06-05proof-indent-commands-regexp: use proof-no-regexp;Makarius Wenzel
2000-06-05Removed defunct commentsDavid Aspinall
2000-06-05Temporary bug fix to solve nil span error messageDavid Aspinall
2000-06-04replaced isar-verbatim by isabelle-verbatim;Makarius Wenzel
2000-06-04updated;Makarius Wenzel
2000-06-04replaced isar-verbatim by isabelle-verbatim;Makarius Wenzel
2000-06-03{ } are back;Makarius Wenzel
2000-06-01Removed now spurious semicolons, 8-).David Aspinall
2000-06-01Temporarily removed keywords { and } for new parsing mechanismDavid Aspinall
2000-06-01Remove setting of proof-segment-up-toDavid Aspinall
2000-05-30improved isar-goals-font-lock-keywords;Makarius Wenzel
2000-05-30isar-preprocessing inserts final terminator if none there.David Aspinall
2000-05-29Tweak font lock exprs enough for Example.thyDavid Aspinall
2000-05-29Font lock exprs for goals buffer like those in IsabelleDavid 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-29Add -*- isar -*- tag to force mode, and comment to explain.David Aspinall
2000-05-26isar-any-command-regexp;Makarius Wenzel
2000-05-26isar-keywords-major;Makarius Wenzel
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-24added "done";Makarius Wenzel
2000-05-22replaced proof-ids-to-regexp by isar-ids-to-regexp, which admitsMakarius Wenzel
2000-05-22replaced {{ }} by { };Makarius 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-16Move setting of proof-shell-pre-interrupt-hook to isabelle-system.elDavid Aspinall
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
2000-05-05Default to isa-mode or isar-mode according to first one invoked.David Aspinall
2000-04-25isar-indent regexps moved to isar-syntax.el;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 06:08:55 +0000