# HG changeset patch
# User wenzelm
# Date 1159385535 -7200
# Node ID a965cad7d455500b3301e201efeb899e909fe87e
# Parent  de54cafdf3efa776069da3b5ee5c076c7eaa3c95
Source.tty now slurps by default;

diff -r de54cafdf3ef -r a965cad7d455 src/Pure/proof_general.ML
--- a/src/Pure/proof_general.ML	Wed Sep 27 21:13:13 2006 +0200
+++ b/src/Pure/proof_general.ML	Wed Sep 27 21:32:15 2006 +0200
@@ -1357,10 +1357,7 @@
 
   val xmlP = XML.scan_comment_whspc |-- XML.parse_elem >> single
 
-  fun pgip_src istrm = Source.source Symbol.stopper xmlP NONE 
-			      (Source.of_instream_slurp istrm);
-
-  val tty_src = pgip_src TextIO.stdIn;
+  val tty_src = Source.set_prompt "" (Source.source Symbol.stopper xmlP NONE Source.tty)
 
   fun pgip_toplevel x = loop true x
 end