# HG changeset patch
# User Walther Neuper <walther.neuper@jku.at>
# Date 1615193039 -3600
# Node ID 4f0da9bf525aa2dafc774296679bd145e76079a7
# Parent  1356875ac9811f635aad77d602d2aa173a61f87b
Isabelle2020->21: separate appearance of Isac from Isabelle

diff -r 1356875ac981 -r 4f0da9bf525a src/Pure/System/distribution.ML
--- a/src/Pure/System/distribution.ML	Mon Mar 08 09:40:09 2021 +0100
+++ b/src/Pure/System/distribution.ML	Mon Mar 08 09:43:59 2021 +0100
@@ -6,7 +6,7 @@
 
 structure Distribution =
 struct
-  val version = "Isabelle2021: February 2021";
+  val version = "Isabelle2021: February 2021 + Isac";
   val is_identified = true;
-  val is_official = true;
+  val is_official = false;
 end;
diff -r 1356875ac981 -r 4f0da9bf525a src/Pure/System/distribution.scala
--- a/src/Pure/System/distribution.scala	Mon Mar 08 09:40:09 2021 +0100
+++ b/src/Pure/System/distribution.scala	Mon Mar 08 09:43:59 2021 +0100
@@ -9,7 +9,7 @@
 
 object Distribution
 {
-  val version = "Isabelle2021: February 2021"
+  val version = "Isabelle2021: February 2021 + Isac"
   val is_identified = true
-  val is_official = true
+  val is_official = false
 }