test

--- 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";