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;
2016-03-30 wenzelm 2016-03-30 more accurate mixfix type constraints;
2016-03-30 wenzelm 2016-03-30 tuned;
2016-03-30 wenzelm 2016-03-30 tuned message;
2016-03-30 wenzelm 2016-03-30 more explicit type; tuned;
2016-03-30 wenzelm 2016-03-30 relevant check_mixfix happens further at the bottom, to avoid duplicate reports via Specification.prepare;
2016-03-30 wenzelm 2016-03-30 avoid duplicate reports;
2016-03-30 wenzelm 2016-03-30 tuned messages -- position is usually missing here;
2016-03-30 wenzelm 2016-03-30 more PIDE markup; tuned;
2016-03-30 wenzelm 2016-03-30 clarified modules;
2016-03-30 wenzelm 2016-03-30 clarified errors: more positions;
2016-03-30 wenzelm 2016-03-30 clarified simple mixfix;
2016-03-30 wenzelm 2016-03-30 tuned;
2016-03-30 wenzelm 2016-03-30 more operations;
2016-03-30 wenzelm 2016-03-30 updated dependencies;
2016-03-30 wenzelm 2016-03-30 updated to Navigator 2.6;
2016-03-30 blanchet 2016-03-30 more 'corec' docs
2016-03-29 wenzelm 2016-03-29 merged
2016-03-29 wenzelm 2016-03-29 proper session dirs for "isabelle jedit" and "isabelle console" with options -d and -l;
2016-03-29 wenzelm 2016-03-29 tuned messages -- more positions;
2016-03-29 wenzelm 2016-03-29 more position information for type mixfix;
2016-03-29 wenzelm 2016-03-29 tuned signature;
2016-03-29 wenzelm 2016-03-29 proper norm_props, e.g. relevant for ML pp;
2016-03-29 wenzelm 2016-03-29 clarified reports; tuned signature;
2016-03-29 wenzelm 2016-03-29 tuned signature;
2016-03-29 blanchet 2016-03-29 more 'corec' docs
2016-03-29 blanchet 2016-03-29 tuning
2016-03-29 blanchet 2016-03-29 more 'corec' docs
2016-03-29 blanchet 2016-03-29 try tactics in right order w.r.t. schematics
2016-03-29 blanchet 2016-03-29 more natural order for 'cong_intros'
2016-03-29 blanchet 2016-03-29 more 'corec' documentation
2016-03-29 blanchet 2016-03-29 renamed generated theorem
2016-03-29 blanchet 2016-03-29 tuning
2016-03-29 blanchet 2016-03-29 added sketchy 'corec' documentation
2016-03-28 blanchet 2016-03-28 compile