changeset 4978 | f14ec8ec1db1 |
parent 4962 | e9217cb15b42 |
child 4986 | d4f257d3445a |
--- a/src/Pure/ROOT.ML Thu May 28 12:21:05 1998 +0200 +++ b/src/Pure/ROOT.ML Thu May 28 12:22:05 1998 +0200 @@ -8,9 +8,10 @@ *) val banner = "Pure Isabelle"; -val version = "Isabelle98: January 1998"; +val version = "Internal working version of Isabelle"; print_depth 1; +ml_prompts "> " "# "; (*basic utils*)