aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
2000-08-16added isar-keywords-proof-improper;Makarius Wenzel
2000-08-07added outline mode setup (still not quite working as expected);Makarius Wenzel
2000-08-07cleaned up outline stuff;Makarius Wenzel
2000-08-07new category isar-keywords-proof-heading;Makarius Wenzel
2000-08-03** B make help key bindings appear in "Show me ..." menu;Makarius Wenzel
2000-08-03added isar-help functions / keys (how do I get keys into menus?);Makarius Wenzel
2000-07-29fixed isar-goals-font-lock-keywords;Makarius Wenzel
2000-07-29added "thm_deps", "overloaded";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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 23:43:25 +0000