--- a/README Thu Apr 01 19:07:06 2021 +0200
+++ b/README Thu Apr 01 19:14:43 2021 +0200
@@ -1,13 +1,13 @@
The Isabelle System Distribution
================================
-Version information
--------------------
+See the NEWS file in the distribution for details on user-relevant
+changes. The ANNOUNCE file recounts notable changes for the latest
+official release.
-This is some repository version of Isabelle.
-
-See the NEWS file in the distribution for details on user-relevant
-changes.
+The core of Isabelle is subject to a 3-clause BSD license, but add-on
+components have their own license schemes (similar to a Linux
+distribution).
Installation
--- a/src/Pure/Admin/build_release.scala Thu Apr 01 19:07:06 2021 +0200
+++ b/src/Pure/Admin/build_release.scala Thu Apr 01 19:14:43 2021 +0200
@@ -53,17 +53,6 @@
/** generated content **/
- /* patch release */
-
- def patch_release(release: Release): Unit =
- {
- val dir = release.isabelle_dir
-
- File.change(dir + Path.explode("README"),
- _.replace("some repository version of Isabelle", release.dist_version))
- }
-
-
/* ANNOUNCE */
def make_announce(release: Release): Unit =
@@ -432,8 +421,6 @@
File.write(release.isabelle_tags, release.tags)
File.write(release.isabelle_identifier, release.dist_name)
- patch_release(release)
-
if (proper_release_name.isEmpty) make_announce(release)
make_contrib(release.isabelle_dir)