src/Pure/proof_general.ML
changeset 20642 cfe2b0803a51
parent 20364 f7e440f2eb2f
child 20664 ffbc5a57191a
     1.1 --- a/src/Pure/proof_general.ML	Wed Sep 20 12:24:28 2006 +0200
     1.2 +++ b/src/Pure/proof_general.ML	Wed Sep 20 13:02:30 2006 +0200
     1.3 @@ -1357,7 +1357,10 @@
     1.4  
     1.5    val xmlP = XML.scan_comment_whspc |-- XML.parse_elem >> single
     1.6  
     1.7 -  val tty_src = Source.set_prompt "" (Source.source Symbol.stopper xmlP NONE Source.tty)
     1.8 +  fun pgip_src istrm = Source.source Symbol.stopper xmlP NONE 
     1.9 +			      (Source.of_instream_slurp istrm);
    1.10 +
    1.11 +  val tty_src = pgip_src TextIO.stdIn;
    1.12  
    1.13    fun pgip_toplevel x = loop true x
    1.14  end