2017-01-17 wenzelm [Tue, 17 Jan 2017 13:59:10 +0100] rev 64911
isabelle update_cartouches -c -t;
src/HOL/Analysis/Bochner_Integration.thy src/HOL/Analysis/Borel_Space.thy src/HOL/Analysis/Brouwer_Fixpoint.thy src/HOL/Analysis/Function_Topology.thy src/HOL/Analysis/Further_Topology.thy src/HOL/Analysis/Henstock_Kurzweil_Integration.thy src/HOL/Analysis/Measure_Space.thy src/HOL/Analysis/Path_Connected.thy src/HOL/Analysis/Radon_Nikodym.thy src/HOL/Analysis/Set_Integral.thy src/HOL/Analysis/Tagged_Division.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Analysis/ex/Circle_Area.thy src/HOL/Library/Bourbaki_Witt_Fixpoint.thy src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy src/HOL/Library/Multiset.thy src/HOL/Library/Perm.thy src/HOL/Library/Polynomial_FPS.thy src/HOL/Library/Polynomial_Factorial.thy src/HOL/Number_Theory/Euclidean_Algorithm.thy src/HOL/Number_Theory/Primes.thy src/HOL/Number_Theory/Quadratic_Reciprocity.thy

2017-01-17 wenzelm [Tue, 17 Jan 2017 11:26:21 +0100] rev 64910
more symbols via abbrevs;
src/HOL/Analysis/Finite_Product_Measure.thy src/HOL/Analysis/Function_Topology.thy src/HOL/Analysis/Tagged_Division.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Library/FuncSet.thy src/HOL/Probability/Infinite_Product_Measure.thy

2017-01-16 wenzelm [Mon, 16 Jan 2017 21:53:44 +0100] rev 64909
tuned signature;
src/Pure/Admin/build_doc.scala src/Pure/Admin/build_history.scala src/Pure/Admin/build_polyml.scala src/Pure/Admin/build_release.scala src/Pure/Admin/isabelle_cronjob.scala src/Pure/System/progress.scala src/Pure/Tools/build.scala src/Tools/jEdit/src/jedit_sessions.scala

2017-01-16 wenzelm [Mon, 16 Jan 2017 21:33:09 +0100] rev 64908
clarified classical rules;
src/HOL/Isar_Examples/Higher_Order_Logic.thy

2017-01-16 wenzelm [Mon, 16 Jan 2017 21:20:30 +0100] rev 64907
misc tuning and updates according to Curry-Club Dec-2016;
src/HOL/Isar_Examples/Higher_Order_Logic.thy src/HOL/Isar_Examples/document/root.bib

2017-01-16 wenzelm [Mon, 16 Jan 2017 16:12:29 +0100] rev 64906
added option -n, e.g. useful to generate Dockerfile only;
src/Pure/Admin/build_docker.scala

2017-01-16 wenzelm [Mon, 16 Jan 2017 16:00:34 +0100] rev 64905
support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);
src/Pure/Admin/build_docker.scala

2017-01-16 wenzelm [Mon, 16 Jan 2017 15:50:54 +0100] rev 64904
tuned -- nicer generated bash source;
src/Pure/System/bash.scala src/Pure/System/bash_syntax.ML

2017-01-15 wenzelm [Sun, 15 Jan 2017 16:47:42 +0100] rev 64903
afford approx. 10MB for curl, e.g. required for "isabelle components";
src/Pure/Admin/build_docker.scala

2017-01-15 wenzelm [Sun, 15 Jan 2017 16:42:37 +0100] rev 64902
updated to jvm-1.8;
etc/settings