2017-09-29 wenzelm [Fri, 29 Sep 2017 20:49:42 +0200] rev 66717
more informative loaded_theories: dependencies and syntax;
src/Pure/Isar/outer_syntax.scala src/Pure/ML/ml_process.scala src/Pure/PIDE/protocol.scala src/Pure/Thy/sessions.scala src/Pure/Thy/thy_info.scala src/Pure/Thy/thy_syntax.scala src/Pure/Tools/build.scala

2017-09-29 wenzelm [Fri, 29 Sep 2017 17:41:39 +0200] rev 66716
tuned signature;
src/Pure/PIDE/document.scala src/Pure/PIDE/resources.scala src/Pure/Thy/sessions.scala src/Pure/Tools/imports.scala

2017-09-29 wenzelm [Fri, 29 Sep 2017 17:35:09 +0200] rev 66715
tuned;
src/Pure/Thy/sessions.scala src/Pure/Thy/thy_info.scala src/Tools/VSCode/src/vscode_resources.scala src/Tools/jEdit/src/document_model.scala src/Tools/jEdit/src/plugin.scala

2017-09-29 wenzelm [Fri, 29 Sep 2017 17:28:44 +0200] rev 66714
tuned signature;
src/Pure/PIDE/document.scala src/Pure/Thy/sessions.scala src/Pure/Thy/thy_info.scala src/Tools/VSCode/src/vscode_resources.scala src/Tools/jEdit/src/document_model.scala src/Tools/jEdit/src/plugin.scala

2017-09-29 wenzelm [Fri, 29 Sep 2017 17:03:33 +0200] rev 66713
tuned;
src/Pure/PIDE/resources.scala src/Pure/Thy/thy_header.scala

2017-09-28 wenzelm [Thu, 28 Sep 2017 15:11:32 +0200] rev 66712
session-qualified theory names are mandatory;
NEWS src/Pure/ML/ml_process.scala src/Pure/PIDE/protocol.ML src/Pure/PIDE/protocol.scala src/Pure/PIDE/resources.ML src/Pure/PIDE/resources.scala src/Pure/Thy/sessions.scala src/Pure/Thy/thy_info.scala src/Pure/Tools/build.ML src/Pure/Tools/build.scala

2017-09-28 wenzelm [Thu, 28 Sep 2017 11:53:55 +0200] rev 66711
discontinued extra checks (see ce676a750575 and 60c159d490a2) -- qualified theory names are meant to cover this;
src/Pure/PIDE/resources.ML src/Pure/Thy/thy_info.ML src/Pure/Thy/thy_info.scala

2017-09-29 paulson <lp15@cam.ac.uk> [Fri, 29 Sep 2017 16:55:08 +0100] rev 66710
eliminated a needless dependence on the theorem homeomorphic_punctured_sphere_affine_gen
src/HOL/Analysis/Homeomorphism.thy

2017-09-29 paulson <lp15@cam.ac.uk> [Fri, 29 Sep 2017 14:17:17 +0100] rev 66709
Merge (resolved trivial conflict)
src/HOL/Analysis/Henstock_Kurzweil_Integration.thy

2017-09-29 paulson <lp15@cam.ac.uk> [Fri, 29 Sep 2017 14:12:14 +0100] rev 66708
New results for Green's theorem
src/HOL/Analysis/Cauchy_Integral_Theorem.thy src/HOL/Analysis/Henstock_Kurzweil_Integration.thy