3 months ago wenzelm [Mon, 31 Dec 2018 20:13:36 +0100] rev 69560
clarified signature;
src/Pure/PIDE/resources.scala src/Pure/Thy/sessions.scala

3 months ago wenzelm [Mon, 31 Dec 2018 20:08:32 +0100] rev 69559
tuned;
src/Pure/Thy/thy_syntax.scala

3 months ago wenzelm [Mon, 31 Dec 2018 13:30:57 +0100] rev 69558
tuned;
src/Tools/VSCode/src/document_model.scala

3 months ago wenzelm [Mon, 31 Dec 2018 13:07:24 +0100] rev 69557
update theory sources based on PIDE markup;
src/Pure/PIDE/markup.ML src/Pure/PIDE/markup.scala src/Pure/System/isabelle_tool.scala src/Pure/Tools/update.scala src/Pure/build-jars

3 months ago wenzelm [Mon, 31 Dec 2018 12:02:31 +0100] rev 69556
clarified signature;
src/Pure/PIDE/document.scala

3 months ago nipkow [Mon, 31 Dec 2018 13:24:20 +0100] rev 69555
dynkin -> Dynkin
src/HOL/Analysis/Sigma_Algebra.thy src/HOL/Probability/Independent_Family.thy

3 months ago nipkow [Mon, 31 Dec 2018 13:05:15 +0100] rev 69554
tuned layout
src/HOL/Analysis/Sigma_Algebra.thy

3 months ago nipkow [Mon, 31 Dec 2018 12:25:21 +0100] rev 69553
tuned header
src/HOL/Analysis/Derivative.thy

3 months ago wenzelm [Sun, 30 Dec 2018 17:44:33 +0100] rev 69552
merged

3 months ago wenzelm [Sun, 30 Dec 2018 16:56:31 +0100] rev 69551
exclude file name components that are special on Windows;
src/Doc/Isar_Ref/Outer_Syntax.thy src/Pure/General/path.scala src/Pure/Isar/token.scala