3 weeks ago haftmann [Sun, 18 Nov 2018 18:07:51 +0000] rev 69313
removed legacy input syntax
src/Doc/Main/Main_Doc.thy src/HOL/Algebra/FiniteProduct.thy src/HOL/Analysis/Abstract_Topology.thy src/HOL/Analysis/Arcwise_Connected.thy src/HOL/Analysis/Binary_Product_Measure.thy src/HOL/Analysis/Brouwer_Fixpoint.thy src/HOL/Analysis/Caratheodory.thy src/HOL/Analysis/Change_Of_Vars.thy src/HOL/Analysis/Complete_Measure.thy src/HOL/Analysis/Embed_Measure.thy src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy src/HOL/Analysis/Extended_Real_Limits.thy src/HOL/Analysis/Finite_Product_Measure.thy src/HOL/Analysis/Henstock_Kurzweil_Integration.thy src/HOL/Analysis/Homeomorphism.thy src/HOL/Analysis/Improper_Integral.thy src/HOL/Analysis/Measure_Space.thy src/HOL/Analysis/Nonnegative_Lebesgue_Integration.thy src/HOL/Analysis/Path_Connected.thy src/HOL/Analysis/Polytope.thy src/HOL/Analysis/Set_Integral.thy src/HOL/Analysis/Sigma_Algebra.thy src/HOL/Analysis/Starlike.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Analysis/Uniform_Limit.thy src/HOL/Analysis/Vitali_Covering_Theorem.thy src/HOL/Bali/Basis.thy src/HOL/Computational_Algebra/Primes.thy src/HOL/Decision_Procs/MIR.thy src/HOL/Hoare_Parallel/RG_Hoare.thy src/HOL/Library/Countable_Complete_Lattices.thy src/HOL/Library/Countable_Set_Type.thy src/HOL/Library/Disjoint_Sets.thy src/HOL/Library/Extended_Nonnegative_Real.thy src/HOL/Library/Extended_Real.thy src/HOL/Library/Finite_Map.thy src/HOL/Library/Indicator_Function.thy src/HOL/Library/Liminf_Limsup.thy src/HOL/Library/Option_ord.thy src/HOL/Library/Order_Continuity.thy src/HOL/Library/Product_Order.thy src/HOL/Library/Set_Algebras.thy src/HOL/Library/Set_Idioms.thy src/HOL/Library/Stream.thy src/HOL/Probability/Fin_Map.thy src/HOL/Probability/Independent_Family.thy src/HOL/Probability/Probability_Mass_Function.thy src/HOL/Probability/Projective_Family.thy src/HOL/Probability/Stopping_Time.thy src/HOL/Probability/Tree_Space.thy ...

3 weeks ago nipkow [Sun, 18 Nov 2018 09:51:41 +0100] rev 69312
added and tuned lemmas
src/HOL/Finite_Set.thy src/HOL/List.thy

3 weeks ago wenzelm [Sat, 17 Nov 2018 16:29:09 +0100] rev 69311
more Java 11 illegal-access warnings;
etc/settings

3 weeks ago wenzelm [Sat, 17 Nov 2018 15:56:11 +0100] rev 69310
prefer more powerful machine;
Admin/Release/CHECKLIST src/Pure/Admin/isabelle_cronjob.scala

3 weeks ago wenzelm [Fri, 16 Nov 2018 16:21:21 +0100] rev 69309
renovated macOS tests;
Admin/PLATFORMS src/Pure/Admin/isabelle_cronjob.scala

3 weeks ago wenzelm [Thu, 15 Nov 2018 21:44:25 +0100] rev 69308
proper citation (amending d8205bb279a7);
src/Doc/manual.bib

3 weeks ago wenzelm [Thu, 15 Nov 2018 21:33:00 +0100] rev 69307
proper citation (amending 98ba42f19995);
src/Doc/Implementation/Logic.thy

3 weeks ago wenzelm [Wed, 14 Nov 2018 22:13:57 +0100] rev 69306
merged

3 weeks ago wenzelm [Wed, 14 Nov 2018 21:43:33 +0100] rev 69305
prefer statically-typed close operation, avoid Java 11 warning: "Illegal reflective access by scala.reflect.package$ to method sun.net.httpserver.LeftOverInputStream.close()";
src/Pure/General/http.scala

3 weeks ago wenzelm [Wed, 14 Nov 2018 21:28:48 +0100] rev 69304
more robust hostname for Isabelle cronjobs: do not rely on target OS installation for resulting build_log database content;
src/Pure/Admin/build_history.scala src/Pure/Admin/isabelle_cronjob.scala