src/Pure/Tools/server.scala

     using(new Server.Context(server, connection))(context =>
     {
       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) {
         connection.read_message() match {
           case None => finished = true