aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Collapse)Author
2000-12-23tuned font lock;Makarius Wenzel
2000-12-20goalsave -> proofDavid Aspinall
2000-12-06tuned font-lock-keywords;Makarius Wenzel
2000-12-01added -m option;Makarius Wenzel
2000-11-22disable trace option;Makarius Wenzel
2000-11-21converted from sh back to bash;Makarius Wenzel
use "#!/usr/bin/env bash" as interpreter to determine bash from PATH; handle spaces in file names;
2000-10-31tuned isar-goals-font-lock-keywords;Makarius Wenzel
2000-10-30tuned font-lock-keywords;Makarius Wenzel
2000-10-26font-lock support for antiquotations;Makarius Wenzel
2000-09-28isar-web-page;Makarius Wenzel
2000-09-27** C func-menu: observe proof-syntactic-context (general problem ofMakarius Wenzel
func-menu setup?);
2000-09-27removed broken outline stuff;Makarius Wenzel
2000-09-27tuned docstring;Makarius Wenzel
2000-09-21use plain /bin/sh instead of bash;Makarius Wenzel
2000-09-21** D support proof-next-error?Makarius Wenzel
2000-09-21tuned comment;Makarius Wenzel
2000-09-20added -X option;Makarius Wenzel
2000-09-19made \<> word characters (accomodates symbol representation);Makarius Wenzel
2000-09-19installfonts only when using X window system;Makarius Wenzel
2000-09-19isar-toolbar-entries: remove 'goal and 'qed;Makarius Wenzel
2000-09-19removed junk;Makarius Wenzel
2000-09-19isa: DEFAULT_FILES="Scratch.thy Scratch.ML";Makarius Wenzel
2000-09-19Isabelle version: 99-1;Makarius Wenzel
tuned;
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
in isabelle-command-line); tuned comments;
2000-09-17-I option for Isar vs. classic Isabelle mode;Makarius Wenzel
tuned;
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
added "hints";
2000-09-03removed unused variable C;Makarius Wenzel
2000-09-02more quoting;Makarius Wenzel
2000-08-30use isar-markup-ml;Makarius Wenzel
eliminated superficial semicolons; fixed proof-shell-quit-cmd;
2000-08-29syntax: "?" made word char;Makarius Wenzel
2000-08-28Change name of mode: isar-proofscript-mode -> isar-mode and removeDavid Aspinall
alias. Regular mode name needed for fancy macros. Use proof-definvisible fancy macro to define help menu functions. Removed parentheses from menu entries so key bindings show up.
2000-08-28cd command: add_path;Makarius Wenzel
2000-08-28-w false implies -x false;Makarius Wenzel
do not load proof-site.el here;
2000-08-16isar-keywords-proof-improper;Makarius Wenzel
2000-08-16added isar-keywords-proof-improper;Makarius Wenzel
tuned;
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
removed misc junk;
2000-07-06tuned help-menu-entries;Makarius Wenzel
2000-07-01improved help menu;Makarius Wenzel
replaced "help" by "welcome";
2000-07-01removed 'help';Makarius Wenzel
added 'print_antiquotations', 'print_commands', 'print_trans_rules';
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 21:00:28 +0000