src/Pure/Tools/isabelle_process.ML
changeset 28498 cb1b43edb5ed
parent 28491 c5420429a5aa
child 29327 e41274f6cc9d
--- a/src/Pure/Tools/isabelle_process.ML	Sat Oct 04 14:29:45 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.ML	Sat Oct 04 14:43:40 2008 +0200
@@ -130,7 +130,7 @@
     Output.warning_fn  := message out_stream "F" Markup.warningN;
     Output.error_fn    := message out_stream "G" Markup.errorN;
     Output.debug_fn    := message out_stream "H" Markup.debugN;
-    Output.prompt_fn   := message out_stream "I" Markup.promptN;
+    Output.prompt_fn   := ignore;
     out_stream
   end;