diff -r e31bf8ed5397 -r cd266473b81b src/Tools/Code/code_ml.ML
--- a/src/Tools/Code/code_ml.ML	Thu Mar 10 12:11:23 2016 +0100
+++ b/src/Tools/Code/code_ml.ML	Thu Mar 10 12:11:50 2016 +0100
@@ -868,10 +868,10 @@
 val _ = Theory.setup
   (Code_Target.add_language
     (target_SML, { serializer = serializer_sml, literals = literals_sml,
-      check = { env_var = "ISABELLE_PROCESS",
+      check = { env_var = "ISABELLE_TOOL",
         make_destination = fn p => Path.append p (Path.explode "ROOT.ML"),
         make_command = fn _ =>
-          "\"$ISABELLE_PROCESS\" -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' Pure" } })
+          "\"$ISABELLE_TOOL\" process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' Pure" } })
   #> Code_Target.add_language
     (target_OCaml, { serializer = serializer_ocaml, literals = literals_ocaml,
       check = { env_var = "ISABELLE_OCAML",