Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified prompt: "ML" usually means Isabelle/ML;
authorwenzelm
Tue, 15 Mar 2016 14:30:18 +0100
changeset 62629 1815513a57f1
parent 62628 6031191a8d9c
child 62630 bc772694cfbd
clarified prompt: "ML" usually means Isabelle/ML;
src/Pure/Tools/ml_process.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/ml_process.scala	Mon Mar 14 17:43:17 2016 +0100
+++ b/src/Pure/Tools/ml_process.scala	Tue Mar 15 14:30:18 2016 +0100
@@ -59,8 +59,8 @@
             " | exit rc = OS.Process.exit (RunCall.unsafeCast (Word8.fromInt rc))"
           else
             "fun exit rc = Posix.Process.exit (Word8.fromInt rc)",
-          "PolyML.Compiler.prompt1 := \"ML> \"",
-          "PolyML.Compiler.prompt2 := \"ML# \"")
+          "PolyML.Compiler.prompt1 := \"Poly/ML> \"",
+          "PolyML.Compiler.prompt2 := \"Poly/ML# \"")
       }
       else Nil
isabelle