--- a/bin/isabelle_process Thu Mar 10 09:56:29 2016 +0100
+++ b/bin/isabelle_process Thu Mar 10 10:07:23 2016 +0100
@@ -15,4 +15,4 @@
isabelle_admin_build jars || exit $?
-"$ISABELLE_TOOL" java isabelle.Isabelle_Process "$@"
+"$ISABELLE_TOOL" java isabelle.ML_Process "$@"