8 months ago wenzelm [Fri, 20 Oct 2017 23:29:43 +0200] rev 66887
more ambitious test;
src/Pure/Admin/isabelle_cronjob.scala

9 months ago haftmann [Fri, 20 Oct 2017 07:46:10 +0200] rev 66886
added lemmas and tuned proofs
src/HOL/Code_Numeral.thy src/HOL/Computational_Algebra/Normalized_Fraction.thy src/HOL/Divides.thy src/HOL/Euclidean_Division.thy src/HOL/Int.thy src/HOL/Library/Numeral_Type.thy src/HOL/Word/Word_Miscellaneous.thy

9 months ago paulson [Thu, 19 Oct 2017 17:16:13 +0100] rev 66885
merged

9 months ago paulson <lp15@cam.ac.uk> [Thu, 19 Oct 2017 17:16:01 +0100] rev 66884
Switching to inverse image and constant_on, plus some new material
src/HOL/Analysis/Brouwer_Fixpoint.thy src/HOL/Analysis/Cauchy_Integral_Theorem.thy src/HOL/Analysis/Conformal_Mappings.thy src/HOL/Analysis/Connected.thy src/HOL/Analysis/Continuous_Extension.thy src/HOL/Analysis/Convex_Euclidean_Space.thy src/HOL/Analysis/Further_Topology.thy src/HOL/Analysis/Henstock_Kurzweil_Integration.thy src/HOL/Analysis/Homeomorphism.thy src/HOL/Analysis/Jordan_Curve.thy src/HOL/Analysis/Path_Connected.thy src/HOL/Analysis/Starlike.thy src/HOL/Analysis/Tagged_Division.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Analysis/Winding_Numbers.thy

9 months ago wenzelm [Thu, 19 Oct 2017 00:55:34 +0200] rev 66883
proper integer option for Admin/build_history;
src/Pure/Admin/isabelle_cronjob.scala

9 months ago wenzelm [Wed, 18 Oct 2017 20:26:32 +0200] rev 66882
clarified output;
src/Pure/Admin/build_status.scala

9 months ago wenzelm [Wed, 18 Oct 2017 20:14:57 +0200] rev 66881
tuned output;
src/Pure/Admin/build_status.scala

9 months ago wenzelm [Wed, 18 Oct 2017 19:53:19 +0200] rev 66880
more thorough treatment of afp_version and afp_pull_date;
src/Pure/Admin/build_log.scala src/Pure/Admin/build_status.scala src/Pure/Admin/isabelle_cronjob.scala src/Pure/Admin/jenkins.scala

9 months ago wenzelm [Wed, 18 Oct 2017 11:53:01 +0200] rev 66879
tuned options;
src/Pure/Admin/isabelle_cronjob.scala

9 months ago wenzelm [Tue, 17 Oct 2017 13:56:58 +0200] rev 66878
tuned output;
src/Pure/Admin/build_history.scala