22 months ago paulson 2017-08-15 fixed the previous commit (henstock_lemma)
22 months ago paulson 2017-08-15 merged
22 months ago paulson 2017-08-15 tidying up henstock_lemma
22 months ago nipkow 2017-08-15 merged
22 months ago nipkow 2017-08-15 NEWS sorted_wrt
22 months ago nipkow 2017-08-15 added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
22 months ago wenzelm 2017-08-15 merged
22 months ago wenzelm 2017-08-15 Added tag Isabelle2017-RC0 for changeset a5dd01b68218
22 months ago paulson 2017-08-15 merged
22 months ago paulson 2017-08-15 merged
22 months ago paulson 2017-08-15 tackling another nightmare proof
22 months ago blanchet 2017-08-15 extended TSTP type parser + tuned messages
22 months ago blanchet 2017-08-15 added debugging function
22 months ago nipkow 2017-08-15 merged
22 months ago nipkow 2017-08-15 added Min_mset and Max_mset
22 months ago wenzelm 2017-08-15 NEWS;
22 months ago paulson 2017-08-14 merged
22 months ago paulson 2017-08-14 patching the previous commit
22 months ago paulson 2017-08-14 merged
22 months ago paulson 2017-08-14 further Hensock tidy-up
22 months ago nipkow 2017-08-14 separate file for priority queue interface; extended Leftist_Heap.
22 months ago wenzelm 2017-08-14 tuned GUI;
22 months ago wenzelm 2017-08-14 tuned GUI;
22 months ago wenzelm 2017-08-14 proper tooltip (amending fd8a65b026f1);
22 months ago wenzelm 2017-08-14 updated to scala-2.12.3;
22 months ago wenzelm 2017-08-14 auto update;
22 months ago wenzelm 2017-08-14 updated to jdk-8u144;
22 months ago wenzelm 2017-08-14 tuned GUI;
22 months ago wenzelm 2017-08-14 more explicit failure;
22 months ago wenzelm 2017-08-14 explicit indication of consolidated nodes;
22 months ago paulson 2017-08-13 further tidying
22 months ago paulson 2017-08-13 general rationalisation of Analysis
22 months ago paulson 2017-08-12 merged
22 months ago paulson 2017-08-12 cleanup of integral_norm_bound_integral
22 months ago haftmann 2017-08-12 be more explicit on type dlist
22 months ago haftmann 2017-08-12 code generation for Gcd and Lcm when sets are implemented by red-black trees
22 months ago paulson 2017-08-12 merged
22 months ago paulson 2017-08-11 more Henstock_Kurzweil_Integration cleanup
22 months ago paulson 2017-08-10 merged
22 months ago paulson 2017-08-10 even more horrible proofs disentangled
22 months ago Lars Hupel 2017-08-11 merged
22 months ago Lars Hupel 2017-08-11 fmap :: size
22 months ago wenzelm 2017-08-11 avoid spurious output after exit;
22 months ago wenzelm 2017-08-11 updated package version;
22 months ago wenzelm 2017-08-11 proper state_panel exit;
22 months ago eberlm 2017-08-11 Some facts about orders of zeros
22 months ago eberlm 2017-08-10 Winding numbers for rectangular paths
22 months ago wenzelm 2017-08-10 misc tuning and modernization;
22 months ago wenzelm 2017-08-10 auto update;
22 months ago wenzelm 2017-08-10 prefer https for the sake of "npm run vscode:prepublish";
22 months ago wenzelm 2017-08-10 tuned;
22 months ago paulson 2017-08-09 fundamental_theorem_of_calculus_interior: more cleanup
22 months ago paulson 2017-08-09 more cleanup of fundamental_theorem_of_calculus_interior
22 months ago nipkow 2017-08-09 added lemmas
22 months ago paulson 2017-08-08 merged
22 months ago paulson 2017-08-08 more cleanup of fundamental_theorem_of_calculus_interior
22 months ago paulson 2017-08-08 partly unravelled fundamental_theorem_of_calculus_interior
22 months ago paulson 2017-08-08 more unknotting
22 months ago wenzelm 2017-08-08 merged
22 months ago wenzelm 2017-08-08 misc tuning and modernization;