--- 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")
})
}
--- 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")
})
}
--- 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")
})
}
--- 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 */