src/Pure/Tools/server.scala

--- a/src/Pure/Tools/server.scala	Wed Mar 31 22:10:56 2021 +0200
+++ b/src/Pure/Tools/server.scala	Wed Mar 31 22:58:17 2021 +0200
@@ -555,7 +555,7 @@
       connection.reply_ok(
         JSON.Object(
           "isabelle_id" -> Isabelle_System.isabelle_id(),
-          "isabelle_version" -> Distribution.version))
+          "isabelle_name" -> Isabelle_System.isabelle_name()))
 
       var finished = false
       while (!finished) {