# HG changeset patch
# User wenzelm
# Date 1602430952 -7200
# Node ID 2d9a70b85009e0d17ffbc6b99004efa7fe84f602
# Parent  ff5e700ed49055f1f239b09fb0cc285e960ef32d
tuned whitespace;

diff -r ff5e700ed490 -r 2d9a70b85009 src/Pure/Admin/build_csdp.scala
--- a/src/Pure/Admin/build_csdp.scala	Sun Oct 11 17:17:19 2020 +0200
+++ b/src/Pure/Admin/build_csdp.scala	Sun Oct 11 17:42:32 2020 +0200
@@ -168,8 +168,8 @@
 Only the bare "solver/csdp" program is used for Isabelle.
 
 
-    Makarius
-    """ + Date.Format.date(Date.now()) + "\n")
+        Makarius
+        """ + Date.Format.date(Date.now()) + "\n")
     })
 }
 
diff -r ff5e700ed490 -r 2d9a70b85009 src/Pure/Admin/build_e.scala
--- a/src/Pure/Admin/build_e.scala	Sun Oct 11 17:17:19 2020 +0200
+++ b/src/Pure/Admin/build_e.scala	Sun Oct 11 17:42:32 2020 +0200
@@ -100,8 +100,8 @@
 Isabelle component directory: x86_64-linux etc.
 
 
-    Makarius
-    """ + Date.Format.date(Date.now()) + "\n")
+        Makarius
+        """ + Date.Format.date(Date.now()) + "\n")
     })
 }
 
diff -r ff5e700ed490 -r 2d9a70b85009 src/Pure/Admin/build_spass.scala
--- a/src/Pure/Admin/build_spass.scala	Sun Oct 11 17:17:19 2020 +0200
+++ b/src/Pure/Admin/build_spass.scala	Sun Oct 11 17:42:32 2020 +0200
@@ -138,11 +138,11 @@
 Viel SPASS!
 
 
-    Jasmin Blanchette
-    16-May-2018
+        Jasmin Blanchette
+        16-May-2018
 
-    Makarius
-    """ + Date.Format.date(Date.now()) + "\n")
+        Makarius
+        """ + Date.Format.date(Date.now()) + "\n")
     })
 }
 
diff -r ff5e700ed490 -r 2d9a70b85009 src/Pure/Admin/build_sqlite.scala
--- a/src/Pure/Admin/build_sqlite.scala	Sun Oct 11 17:17:19 2020 +0200
+++ b/src/Pure/Admin/build_sqlite.scala	Sun Oct 11 17:42:32 2020 +0200
@@ -34,7 +34,7 @@
 
     File.write(component_dir + Path.basic("README"),
       "This is " + download_name + " from\n" + download_url +
-        "\n\n    Makarius\n    " + Date.Format.date(Date.now()) + "\n")
+        "\n\n        Makarius\n        " + Date.Format.date(Date.now()) + "\n")
 
 
     /* settings */