src/Pure/Tools/build_process.scala

           if_proper(names, Generic.name.member(names)))
     }
 
     object Config {
       val instance = Generic.instance.make_primary_key
-      val ml_identifier = SQL.Column.string("ml_identifier")
+      val ml_platform = SQL.Column.string("ml_platform")
       val options = SQL.Column.string("options")
 
-      val table = make_table("", List(instance, ml_identifier, options))
+      val table = make_table("", List(instance, ml_platform, options))
     }
 
     object State {
       val instance = Generic.instance.make_primary_key
       val serial = SQL.Column.long("serial")

     }
 
     def write_config(db: SQL.Database, instance: String, hostname: String, options: Options): Unit =
       db.using_statement(Config.table.insert()) { stmt =>
         stmt.string(1) = instance
-        stmt.string(2) = Isabelle_System.getenv("ML_IDENTIFIER")
+        stmt.string(2) = Isabelle_System.getenv("ML_PLATFORM")
         stmt.string(3) = options.make_prefs(Options.init(prefs = ""))
         stmt.execute()
       }
 
     def read_state(db: SQL.Database, instance: String): (Long, Int) =