2016-10-20 hoelzl [Thu, 20 Oct 2016 18:41:59 +0200] rev 64320
HOL-Probability: move stopping time from AFP/Markov_Models
src/HOL/Analysis/Borel_Space.thy src/HOL/Analysis/Extended_Real_Limits.thy src/HOL/Analysis/Measurable.thy src/HOL/Analysis/Measure_Space.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Library/Extended_Nonnegative_Real.thy src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy src/HOL/Library/Stream.thy src/HOL/Probability/Giry_Monad.thy src/HOL/Probability/Probability.thy src/HOL/Probability/Stopping_Time.thy src/HOL/Probability/Stream_Space.thy

2016-10-20 hoelzl [Thu, 20 Oct 2016 18:41:58 +0200] rev 64319
HOL-Probability: generalize type of essential supremum
src/HOL/Probability/Essential_Supremum.thy

2016-10-20 eberlm <eberlm@in.tum.de> [Thu, 20 Oct 2016 17:28:09 +0200] rev 64318
Repaired LaTeX in HOL-Data_Structures
src/HOL/Data_Structures/document/root.tex src/HOL/Number_Theory/Number_Theory.thy src/HOL/Number_Theory/QuadraticReciprocity.thy src/HOL/Number_Theory/Quadratic_Reciprocity.thy

2016-10-20 eberlm <eberlm@in.tum.de> [Thu, 20 Oct 2016 13:53:36 +0200] rev 64317
More on Fibonacci numbers
src/HOL/Archimedean_Field.thy src/HOL/Number_Theory/Fib.thy src/HOL/Number_Theory/document/root.tex

2016-10-20 wenzelm [Thu, 20 Oct 2016 11:05:16 +0200] rev 64316
build HTML library in Isabelle/Scala;
Admin/Release/build_library src/Pure/Admin/build_release.scala

2016-10-20 wenzelm [Thu, 20 Oct 2016 11:04:38 +0200] rev 64315
proper echo;
tuned;
src/Pure/Admin/other_isabelle.scala

2016-10-20 wenzelm [Thu, 20 Oct 2016 10:30:11 +0200] rev 64314
more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;
src/Pure/ROOT

2016-10-19 wenzelm [Wed, 19 Oct 2016 18:14:42 +0200] rev 64313
updated to jdk-8u112;
Admin/components/components.sha1 Admin/components/main Admin/java/build

2016-10-19 wenzelm [Wed, 19 Oct 2016 17:39:04 +0200] rev 64312
basic SSH server configuration;
Admin/Windows/Cygwin/README

2016-10-19 wenzelm [Wed, 19 Oct 2016 17:03:44 +0200] rev 64311
proper isabelle tool in Scala;
Admin/profiling_report Admin/profiling_reports src/Pure/Admin/profiling_report.scala src/Pure/System/isabelle_tool.scala src/Pure/build-jars