aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Collapse)Author
2001-09-10isar-goals-font-lock-keywords: corollary;Makarius Wenzel
2001-09-06tuned usage;Makarius Wenzel
2001-09-04tuned proof text;Makarius Wenzel
added script version;
2001-09-04added option -P: actually start Proof General (default true);Makarius Wenzel
2001-09-04tuned;Makarius Wenzel
2001-09-04no need to adjust the path to bash on the first line (due to /usr/bin/env);Makarius Wenzel
2001-09-03Set proof-goal-with-hole-regexpDavid Aspinall
2001-09-03Add specific install instrs, rearrange.David Aspinall
2001-08-31handle relative heap paths gracefully;Makarius Wenzel
2001-08-31back to *official* Isabelle99-2 (later Isabelle dists will provideMakarius Wenzel
their own copy of this file);
2001-08-31new commands (proof terms, code generator);Makarius Wenzel
2001-08-30include ISABELLE_HOME_USER/etc/isar-keywords.el orMakarius Wenzel
ISABELLE_HOME/etc/isar-keywords.el if available;
2001-08-30updated;Makarius Wenzel
2001-08-30proof-script-integral-proofs t;Makarius Wenzel
2001-08-28Change of proof span type back to goalsaveDavid Aspinall
2001-08-10Change buffer-syntactic-context -> proof-buffer-syntactic-contextDavid Aspinall
2001-05-18preliminary addition of "corollary";Makarius Wenzel
2001-01-18proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid \\\\;Makarius Wenzel
2001-01-12proof-string-match;Makarius Wenzel
2001-01-10proper font-lock of isar-keywords-proof-heading;Makarius Wenzel
2001-01-03added "recdef_tc";Makarius Wenzel
2000-12-28include x-symbol-isabelle-font-lock-keywords in shell/goals/response buffers;Makarius Wenzel
more robust \<^sync>;
2000-12-28improved isar-string regexp;Makarius Wenzel
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 13:23:30 +0000