10 months ago wenzelm [Fri, 01 Jun 2018 22:00:50 +0200] rev 68350
tuned -- more explicit expression;
src/Pure/Isar/class.ML

10 months ago wenzelm [Fri, 01 Jun 2018 15:57:28 +0200] rev 68349
merged

10 months ago wenzelm [Fri, 01 Jun 2018 15:53:35 +0200] rev 68348
documentation for "isabelle dump";
NEWS src/Doc/System/Sessions.thy src/Pure/Tools/dump.scala

10 months ago wenzelm [Fri, 01 Jun 2018 11:51:03 +0200] rev 68347
more dump aspects, with options;
tuned signature;
src/Pure/Tools/dump.scala

10 months ago wenzelm [Fri, 01 Jun 2018 11:50:20 +0200] rev 68346
tuned signature;
src/Pure/Thy/export_theory.scala

10 months ago wenzelm [Fri, 01 Jun 2018 11:10:22 +0200] rev 68345
clarified default: all aspects;
src/Pure/Tools/dump.scala

10 months ago wenzelm [Fri, 01 Jun 2018 10:56:01 +0200] rev 68344
clarified priority;
src/Pure/PIDE/command.ML src/Pure/PIDE/document.ML

10 months ago nipkow [Fri, 01 Jun 2018 13:32:55 +0200] rev 68343
merged

10 months ago nipkow [Fri, 01 Jun 2018 13:32:44 +0200] rev 68342
added lemma
src/HOL/Data_Structures/AVL_Set.thy

10 months ago paulson <lp15@cam.ac.uk> [Fri, 01 Jun 2018 09:57:33 +0100] rev 68341
Fixed latex markup
src/HOL/Analysis/Cauchy_Integral_Theorem.thy