aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
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
2000-04-25removed unused isar-ids;Makarius Wenzel
2000-04-25removed "simpset" minor keyword;Makarius Wenzel
2000-04-17added 'hide';Makarius Wenzel
2000-04-12fixed proof-mode-for-goals;Makarius Wenzel
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-06tuned \<bottom>;Makarius Wenzel
2000-04-05tuned todo stuff;Makarius Wenzel
2000-04-05improved print_mode switch;Makarius Wenzel
2000-04-05'welcome' made diagnostic;Makarius Wenzel
2000-04-05eliminated 'as' keyword;Makarius Wenzel
2000-04-04added 'print_claset', 'print_simpset';Makarius Wenzel
2000-04-03added 'ProofGeneral.undo';Makarius Wenzel
2000-03-27removed 'variables';Makarius Wenzel
2000-03-24Attempt to fix filename mess for Windows.David Aspinall
2000-03-23removed 'kill_proof';Makarius Wenzel
2000-03-23added 'moreover';Makarius Wenzel
2000-03-22Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...David Aspinall
2000-03-22Fix other file commands to use %e substitution.David Aspinall
2000-03-22Use new format character %s to %e to cope with nasty filenames with backslashes.David Aspinall
2000-03-22transparent cd;Makarius Wenzel
2000-03-19removed "thence";Makarius Wenzel
2000-03-19UpdatedDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 21:31:17 +0000