# HG changeset patch
# User wenzelm
# Date 1661793955 -7200
# Node ID 8e796c204b87d637b526231f9c7452f8254a7372
# Parent  9ca22009c2d0a95068b3ff52f31a5e637089bb0e
tuned output;

diff -r 9ca22009c2d0 -r 8e796c204b87 src/Pure/Admin/build_cvc5.scala
--- a/src/Pure/Admin/build_cvc5.scala	Mon Aug 29 19:14:04 2022 +0200
+++ b/src/Pure/Admin/build_cvc5.scala	Mon Aug 29 19:25:55 2022 +0200
@@ -79,9 +79,9 @@
 
     File.write(component_dir + Path.basic("README"),
       """This distribution of cvc5 was assembled from the official downloads
-from """ + base_url + """ for 64bit
-macOS, Linux, Windows. There is native support for macOS ARM64, but Linux
-ARM64 is missing.
+from """ + base_url + """ for 64bit macOS,
+Linux, and Windows. There is native support for macOS ARM64, but
+Linux ARM64 is missing.
 
 The oldest supported version of macOS is 10.14 Mojave.