2017-04-23 wenzelm [Sun, 23 Apr 2017 18:12:42 +0200] rev 65560
tuned;
src/Pure/Thy/sessions.scala

2017-04-23 wenzelm [Sun, 23 Apr 2017 17:23:38 +0200] rev 65559
more operations;
src/Pure/General/mercurial.scala src/Pure/General/path.scala

2017-04-23 wenzelm [Sun, 23 Apr 2017 16:18:31 +0200] rev 65558
support for multiple operations via options;
src/Pure/Tools/imports.scala

2017-04-23 wenzelm [Sun, 23 Apr 2017 15:59:51 +0200] rev 65557
clarified tool name -- more official status;
NEWS src/Pure/System/isabelle_tool.scala src/Pure/Tools/imports.scala src/Pure/Tools/update_imports.scala src/Pure/build-jars

2017-04-23 haftmann [Sun, 23 Apr 2017 14:53:35 +0200] rev 65556
more lemmas
src/HOL/Divides.thy

2017-04-23 haftmann [Sun, 23 Apr 2017 14:53:33 +0200] rev 65555
include GCD as integral part of computational algebra in session HOL
src/HOL/GCD.thy src/HOL/Nitpick.thy

2017-04-23 wenzelm [Sun, 23 Apr 2017 14:27:22 +0200] rev 65554
prefer strict operation (despite 8edca3465758): there might be errors from all_known = true (ae09b9f5980b);
src/Tools/jEdit/src/plugin.scala

2017-04-23 wenzelm [Sun, 23 Apr 2017 14:15:09 +0200] rev 65553
added missing file (amending f533820e7248);
src/HOL/Main.thy

2017-04-22 wenzelm [Sat, 22 Apr 2017 22:01:35 +0200] rev 65552
theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
NEWS src/Doc/Corec/Corec.thy src/HOL/Binomial.thy src/HOL/Codegenerator_Test/Code_Test_GHC.thy src/HOL/Codegenerator_Test/Code_Test_OCaml.thy src/HOL/Codegenerator_Test/Code_Test_Scala.thy src/HOL/Computational_Algebra/Factorial_Ring.thy src/HOL/GCD.thy src/HOL/HOLCF/Universal.thy src/HOL/Import/Import_Setup.thy src/HOL/Library/Code_Target_Int.thy src/HOL/Library/Permutations.thy src/HOL/Library/Stirling.thy src/HOL/Main.thy src/HOL/NthRoot.thy src/HOL/Pre_Main.thy src/HOL/ROOT src/HOL/Rat.thy src/HOL/SPARK/Examples/Gcd/Greatest_Common_Divisor.thy src/HOL/SPARK/Manual/Simple_Greatest_Common_Divisor.thy src/HOL/Transcendental.thy src/HOL/ex/LocaleTest2.thy src/HOL/ex/Transfer_Int_Nat.thy

2017-04-22 wenzelm [Sat, 22 Apr 2017 12:52:55 +0200] rev 65551
merged
src/HOL/ex/document/root.bib src/HOL/ex/document/root.tex