2014-11-05 wenzelm 2014-11-05 more frugal keywords;
2014-11-05 wenzelm 2014-11-05 eliminated pointless dynamic keywords (TTY legacy);
2014-11-05 wenzelm 2014-11-05 explicit type Keyword.keywords; tuned signature;
2014-11-05 wenzelm 2014-11-05 tuned;
2014-11-05 wenzelm 2014-11-05 clarified representation of type Keywords; tuned signature;
2014-11-05 wenzelm 2014-11-05 explicit type Keyword.Keywords;
2014-11-05 wenzelm 2014-11-05 clarified minor/major lexicon (like ML version);
2014-11-05 nipkow 2014-11-05 reduced execution time
2014-11-04 wenzelm 2014-11-04 proper button margins for Nimbus L&F; properties are sorted when saved;
2014-11-04 wenzelm 2014-11-04 approximative update of versions;
2014-11-04 lammich 2014-11-04 Added Option.bind_split{,_asm,s}
2014-11-03 wenzelm 2014-11-03 clarified legacy code;
2014-11-03 wenzelm 2014-11-03 eliminated unused int_only flag (see also c12484a27367); just proper commands;
2014-11-03 wenzelm 2014-11-03 eliminated obsolete Proof.goal_message -- print outcome more directly;
2014-11-03 wenzelm 2014-11-03 updated to scala-2.11.4;
2014-11-02 wenzelm 2014-11-02 less ambitious isatest: polyml-5.3.0 has problems with big sessions like HOL-Proofs;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-11-02 wenzelm 2014-11-02 prefer \setisabellecontext;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-02 wenzelm 2014-11-02 obsolete;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-02 wenzelm 2014-11-02 obsolete;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-02 wenzelm 2014-11-02 clarified legacy command;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-02 wenzelm 2014-11-02 obsolete;
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;