2017-08-14 wenzelm 2017-08-14 tuned GUI;
2017-08-14 wenzelm 2017-08-14 more explicit failure;
2017-08-14 wenzelm 2017-08-14 explicit indication of consolidated nodes;
2017-08-13 paulson 2017-08-13 further tidying
2017-08-13 paulson 2017-08-13 general rationalisation of Analysis
2017-08-12 paulson 2017-08-12 merged
2017-08-12 paulson 2017-08-12 cleanup of integral_norm_bound_integral
2017-08-12 haftmann 2017-08-12 be more explicit on type dlist
2017-08-12 haftmann 2017-08-12 code generation for Gcd and Lcm when sets are implemented by red-black trees
2017-08-12 paulson 2017-08-12 merged
2017-08-11 paulson 2017-08-11 more Henstock_Kurzweil_Integration cleanup
2017-08-10 paulson 2017-08-10 merged
2017-08-10 paulson 2017-08-10 even more horrible proofs disentangled
2017-08-11 Lars Hupel 2017-08-11 merged
2017-08-11 Lars Hupel 2017-08-11 fmap :: size
2017-08-11 wenzelm 2017-08-11 avoid spurious output after exit;
2017-08-11 wenzelm 2017-08-11 updated package version;
2017-08-11 wenzelm 2017-08-11 proper state_panel exit;
2017-08-11 eberlm 2017-08-11 Some facts about orders of zeros
2017-08-10 eberlm 2017-08-10 Winding numbers for rectangular paths
2017-08-10 wenzelm 2017-08-10 misc tuning and modernization;
2017-08-10 wenzelm 2017-08-10 auto update;
2017-08-10 wenzelm 2017-08-10 prefer https for the sake of "npm run vscode:prepublish";
2017-08-10 wenzelm 2017-08-10 tuned;
2017-08-09 paulson 2017-08-09 fundamental_theorem_of_calculus_interior: more cleanup
2017-08-09 paulson 2017-08-09 more cleanup of fundamental_theorem_of_calculus_interior
2017-08-09 nipkow 2017-08-09 added lemmas
2017-08-08 paulson 2017-08-08 merged
2017-08-08 paulson 2017-08-08 more cleanup of fundamental_theorem_of_calculus_interior
2017-08-08 paulson 2017-08-08 partly unravelled fundamental_theorem_of_calculus_interior
2017-08-08 paulson 2017-08-08 more unknotting
2017-08-08 wenzelm 2017-08-08 merged
2017-08-08 wenzelm 2017-08-08 misc tuning and modernization;
2017-08-08 wenzelm 2017-08-08 maintain "consolidated" status of theory nodes, which means all evals are finished (but not necessarily prints nor imports);
2017-08-08 wenzelm 2017-08-08 clarified signature;
2017-08-08 wenzelm 2017-08-08 tuned;
2017-08-08 eberlm 2017-08-08 Merged
2017-08-07 eberlm 2017-08-07 Merged
2017-08-04 eberlm 2017-08-04 Merged
2017-08-03 eberlm 2017-08-03 Removed unnecessary constant 'ball' from Formal_Power_Series
2017-08-07 wenzelm 2017-08-07 merged;
2017-08-07 wenzelm 2017-08-07 more thorough Execution.join, under the assumption that nested Execution.fork only happens from given exed_ids;
2017-08-07 wenzelm 2017-08-07 more synchronized Execution.snapshot;
2017-08-07 wenzelm 2017-08-07 tuned spelling;
2017-08-07 wenzelm 2017-08-07 tuned;
2017-08-07 wenzelm 2017-08-07 tuned;
2017-08-07 paulson 2017-08-07 merged
2017-08-07 paulson 2017-08-07 more Henstock_Kurzweil_Integration cleanup
2017-08-07 blanchet 2017-08-07 tuning imports
2017-08-07 blanchet 2017-08-07 use TFF0 with E 2.0 and above
2017-08-07 blanchet 2017-08-07 E 2.0 component
2017-08-07 blanchet 2017-08-07 updated remote Vampire version
2017-08-06 paulson 2017-08-06 merged
2017-08-06 paulson 2017-08-06 more integration cleanups
2017-08-06 bulwahn 2017-08-06 slightly generalized card_lists_distinct_length_eq; renamed specialized card_lists_distinct_length_eq to card_lists_distinct_length_eq'; tuned
2017-08-06 paulson 2017-08-06 merged
2017-08-06 paulson 2017-08-06 further cleanup of "guess"
2017-08-06 paulson 2017-08-06 towards a cleanup of Henstock_Kurzweil_Integration.thy
2017-08-06 wenzelm 2017-08-06 merged
2017-08-06 wenzelm 2017-08-06 proper check for active server;