aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
2000-09-18complete set of keywords from IOA image;Makarius Wenzel
2000-09-17removed proof-shell-pre-sync-init-cmd (init now handled by -PI optionsMakarius Wenzel
2000-09-17-I option for Isar vs. classic Isabelle mode;Makarius Wenzel
2000-09-15isatool installfonts (for remote X-Symbol fonts);Makarius Wenzel
2000-09-13done: make help key bindings appear in "Show me ..." menu;Makarius Wenzel
2000-09-07removed "of", "congs";Makarius Wenzel
2000-09-03removed unused variable C;Makarius Wenzel
2000-09-02more quoting;Makarius Wenzel
2000-08-30use isar-markup-ml;Makarius Wenzel
2000-08-29syntax: "?" made word char;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-28-w false implies -x false;Makarius Wenzel
2000-08-16isar-keywords-proof-improper;Makarius Wenzel
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 21:44:13 +0000