2014-11-02 wenzelm 2014-11-02 added update_header tool;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-02 wenzelm 2014-11-02 more flexibile \setisabellecontext, independently of header;
2014-11-02 wenzelm 2014-11-02 prefer explicit heading command;
2014-11-02 wenzelm 2014-11-02 uniform heading commands work in any context, even in theory header; discontinued obsolete 'sect', 'subsect', 'subsubsect'; marked obsolete 'header' as legacy;
2014-11-02 wenzelm 2014-11-02 eliminated dead code;
2014-11-01 wenzelm 2014-11-01 clarified syntax -- avoid overlap with command category;
2014-11-01 wenzelm 2014-11-01 tuned signature (see ab2483fad861);
2014-11-01 wenzelm 2014-11-01 recover via scanner; tuned signature;
2014-11-01 wenzelm 2014-11-01 simplified -- scanning is never interactive;
2014-11-01 wenzelm 2014-11-01 tuned signature, in accordance to Scala version;
2014-11-01 wenzelm 2014-11-01 command-line terminator ";" is no longer accepted;
2014-11-01 wenzelm 2014-11-01 eliminated spurious semicolons;
2014-11-01 wenzelm 2014-11-01 eliminated former Proof General preferences;
2014-10-31 wenzelm 2014-10-31 merged
2014-10-31 wenzelm 2014-10-31 tuned;
2014-10-31 wenzelm 2014-10-31 provide explicit theory (amending 621c052789b4);
2014-10-31 wenzelm 2014-10-31 removed pointless markup; tuned comments;
2014-10-31 wenzelm 2014-10-31 discontinued obsolete \<^sync> marker;
2014-10-31 wenzelm 2014-10-31 discontinued obsolete control command category;
2014-10-31 wenzelm 2014-10-31 obsolete;
2014-10-31 wenzelm 2014-10-31 obsolete;
2014-10-31 wenzelm 2014-10-31 discontinued obsolete tty and prompt;
2014-10-31 wenzelm 2014-10-31 discontinued pointless option: timing is always on (overall theory only);
2014-10-31 wenzelm 2014-10-31 eliminated odd flags and hook;
2014-10-31 wenzelm 2014-10-31 avoid noise (cf. 03ff4d1e6784);
2014-10-31 wenzelm 2014-10-31 discontinued Isar TTY loop;
2014-10-31 wenzelm 2014-10-31 removed obsolete Proof General commands;
2014-10-31 wenzelm 2014-10-31 obsolete;
2014-10-31 wenzelm 2014-10-31 discontinued obsolete Output.urgent_message;
2014-10-31 wenzelm 2014-10-31 discontinued Proof General;
2014-10-31 paulson 2014-10-31 Some comments and a new version of a result
2014-10-30 wenzelm 2014-10-30 merged
2014-10-30 wenzelm 2014-10-30 eliminated aliases;
2014-10-30 wenzelm 2014-10-30 eliminated aliases;
2014-10-30 wenzelm 2014-10-30 eliminated aliases;
2014-10-30 wenzelm 2014-10-30 tuned spelling;
2014-10-30 wenzelm 2014-10-30 hardwired imitation of copy.shortcut2 default;
2014-10-30 haftmann 2014-10-30 more simp rules concerning dvd and even/odd
2014-10-30 paulson 2014-10-30 choose_reduce_nat: re-ordered operands
2014-10-30 wenzelm 2014-10-30 make SML/NJ more happy;
2014-10-30 wenzelm 2014-10-30 proper syntax categery "name" -- as usual and as documented;
2014-10-30 hoelzl 2014-10-30 disable coercions for NO_MATCH
2014-10-29 wenzelm 2014-10-29 merged
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 merged
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup; tuned whitespace;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup; more standard module name;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup; tuned whitespace;
2014-10-29 wenzelm 2014-10-29 tuned;