3 months ago wenzelm [Wed, 18 Jul 2018 17:01:12 +0200] rev 68650
evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;
Admin/cronjob/self_update src/Pure/Admin/isabelle_cronjob.scala

3 months ago wenzelm [Wed, 18 Jul 2018 16:44:01 +0200] rev 68649
prefer HTTPS;
Admin/components/README README src/Doc/How_to_Prove_it/document/root.bib src/Doc/Locales/document/root.bib src/Doc/Logics/document/preface.tex src/Doc/Prog_Prove/document/intro-isabelle.tex src/Doc/Prog_Prove/document/root.bib src/Doc/Sledgehammer/document/root.tex src/Doc/Sugar/document/root.bib src/Doc/Tutorial/document/basics.tex src/Doc/Tutorial/document/fp.tex src/Doc/Tutorial/document/preface.tex src/Doc/manual.bib src/HOL/Lattice/document/root.bib src/HOL/MicroJava/document/introduction.tex src/HOL/MicroJava/document/root.bib src/HOL/NanoJava/document/root.bib src/HOL/NanoJava/document/root.tex src/HOL/ROOT src/HOL/Unix/document/root.bib

3 months ago wenzelm [Wed, 18 Jul 2018 12:21:55 +0200] rev 68648
more ANNOUNCE;
ANNOUNCE

3 months ago wenzelm [Wed, 18 Jul 2018 11:47:05 +0200] rev 68647
tuned;
NEWS

3 months ago paulson <lp15@cam.ac.uk> [Tue, 17 Jul 2018 22:18:27 +0100] rev 68646
more de-applying
src/HOL/List.thy src/HOL/MicroJava/DFA/Listn.thy src/HOL/Wellfounded.thy

3 months ago paulson [Mon, 16 Jul 2018 23:33:38 +0100] rev 68645
merged

3 months ago paulson <lp15@cam.ac.uk> [Mon, 16 Jul 2018 23:33:28 +0100] rev 68644
de-applying and simplifying proofs
src/HOL/Deriv.thy src/HOL/Divides.thy src/HOL/Nonstandard_Analysis/HDeriv.thy src/HOL/Nonstandard_Analysis/HSeries.thy

3 months ago Manuel Eberl <eberlm@in.tum.de> [Mon, 16 Jul 2018 17:50:07 +0200] rev 68643
Tagged some more files in HOL-Analysis
src/HOL/Analysis/FPS_Convergence.thy src/HOL/Analysis/Generalised_Binomial_Theorem.thy src/HOL/Analysis/Harmonic_Numbers.thy src/HOL/Analysis/Integral_Test.thy src/HOL/Analysis/Summation_Tests.thy

3 months ago Manuel Eberl <eberlm@in.tum.de> [Mon, 16 Jul 2018 15:24:06 +0200] rev 68642
Made simproc for sqrt/root of numeral more robust
src/HOL/Transcendental.thy

3 months ago Andreas Lochbihler [Mon, 16 Jul 2018 08:32:27 +0200] rev 68641
merged