test draft
authorwenzelm
Sun, 21 Jun 2020 10:32:28 +0200
changeset 72205 a71d103f772e
parent 72204 2d658beb815b
test
src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sat Jun 20 22:35:24 2020 +0200
+++ b/src/Pure/ROOT.ML	Sun Jun 21 10:32:28 2020 +0200
@@ -6,6 +6,7 @@
 Note: When this file is open in the Prover IDE, the ML files of
 Isabelle/Pure can be explored interactively. This is a separate copy of
 Pure within Pure: it does not affect the running logic session.
+
 *)
 
 chapter "Isabelle/Pure bootstrap";