# HG changeset patch
# User wenzelm
# Date 912341988 -3600
# Node ID 263051aaf0deeffe256c9b20f29e4d4ddc3f4c56
# Parent  832ec852fc4ed252ff1b8e8f0247aa162db24018
tuned welcome msg;

diff -r 832ec852fc4e -r 263051aaf0de src/Pure/Isar/outer_syntax.ML
--- a/src/Pure/Isar/outer_syntax.ML	Sun Nov 29 13:17:42 1998 +0100
+++ b/src/Pure/Isar/outer_syntax.ML	Sun Nov 29 13:19:48 1998 +0100
@@ -179,7 +179,7 @@
 fun main () =
  (Toplevel.set_state Toplevel.toplevel;
   ml_prompts "ML> " "ML# ";
-  writeln ("\n\n" ^ Context.welcome ());
+  writeln (Context.welcome ());
   loop ());