2016-04-03 wenzelm 2016-04-03 prefer internal tool;
2016-04-03 wenzelm 2016-04-03 support for internal tools;
2016-04-03 wenzelm 2016-04-03 clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
2016-04-03 wenzelm 2016-04-03 clarified usage;
2016-04-03 traytel 2016-04-03 tuned names
2016-04-02 wenzelm 2016-04-02 prefer infix operations;
2016-04-02 wenzelm 2016-04-02 structure PolyML is sealed after bootstrap: all ML system access is managed by Isabelle;
2016-04-02 wenzelm 2016-04-02 proper signature;
2016-04-02 wenzelm 2016-04-02 tuned signature;
2016-04-02 wenzelm 2016-04-02 tuned;
2016-04-02 wenzelm 2016-04-02 tuned signature;
2016-04-02 wenzelm 2016-04-02 proper type; tuned;
2016-04-02 wenzelm 2016-04-02 careful export of type-dependent functions, without losing their special status;
2016-04-02 wenzelm 2016-04-02 clarified modules;
2016-04-02 wenzelm 2016-04-02 clarified modules;
2016-04-02 blanchet 2016-04-02 tuned LaTeX
2016-04-02 blanchet 2016-04-02 import package that might help on some machines (e.g., macbroy2)
2016-04-02 wenzelm 2016-04-02 clarified check_sources;
2016-04-02 wenzelm 2016-04-02 obsolete (see 1d977436c1bf);
2016-04-02 wenzelm 2016-04-02 more robust display of bidirectional Unicode text: enforce left-to-right;
2016-04-01 wenzelm 2016-04-01 merged
2016-04-01 wenzelm 2016-04-01 merged
2016-04-01 wenzelm 2016-04-01 explicit warning about bidi uncertainty in Unicode;
2016-04-01 wenzelm 2016-04-01 explicit warning about formal use of Unicode;
2016-04-01 wenzelm 2016-04-01 documentation;
2016-04-01 wenzelm 2016-04-01 more markup;
2016-04-01 wenzelm 2016-04-01 require actual space;
2016-04-01 wenzelm 2016-04-01 tuned signature;
2016-04-01 wenzelm 2016-04-01 required space is already part of Position.here;
2016-04-01 wenzelm 2016-04-01 tuned messages;
2016-04-01 wenzelm 2016-04-01 clarified errors -- disallow cartouche fragments as delimiter;
2016-04-01 wenzelm 2016-04-01 tuned signature;
2016-04-01 wenzelm 2016-04-01 tuned;
2016-04-01 wenzelm 2016-04-01 clarified end position;
2016-04-01 wenzelm 2016-04-01 tuned signature;
2016-04-01 wenzelm 2016-04-01 tuned;
2016-04-01 wenzelm 2016-04-01 removed redundant Position.set_range -- already done in Position.range;
2016-04-01 wenzelm 2016-04-01 lower threshold -- command timing for proofs is cumulative, e.g. HOL 672 ~> 8889;
2016-04-01 wenzelm 2016-04-01 less bulky timing information, e.g. HOL 56913 ~> 672;
2016-04-01 wenzelm 2016-04-01 tuned;
2016-04-01 wenzelm 2016-04-01 more operations (cf. Scala version);
2016-04-01 wenzelm 2016-04-01 tuned whitespace;
2016-04-01 wenzelm 2016-04-01 explicit property for unbreakable block;
2016-04-01 wenzelm 2016-04-01 unused;
2016-04-01 wenzelm 2016-04-01 tuned markup;
2016-04-01 wenzelm 2016-04-01 clarified treatment of properties; tuned messages;
2016-04-01 wenzelm 2016-04-01 more robust pretty printing: permissive treatment of bad values;
2016-04-01 wenzelm 2016-04-01 adapted to Poly/ML repository version 2e40cadc975a;
2016-03-31 wenzelm 2016-03-31 explicit mixfix block properties;
2016-03-31 wenzelm 2016-03-31 clarified modules;
2016-03-31 wenzelm 2016-03-31 tuned signature;
2016-04-01 blanchet 2016-04-01 reintroduced check that may guard some tactic failures
2016-04-01 blanchet 2016-04-01 adapt theory names within the theory
2016-03-31 traytel 2016-03-31 made tactic more robust
2016-03-31 traytel 2016-03-31 tuned interface
2016-03-30 wenzelm 2016-03-30 merged
2016-03-30 wenzelm 2016-03-30 proper object-logic constraint (amending dd2914250ca7);
2016-03-30 wenzelm 2016-03-30 reconcile object-logic constraint vs. mixfix constraint;
2016-03-30 wenzelm 2016-03-30 more explicit support for object-logic constraint;
2016-03-30 wenzelm 2016-03-30 more language markup;