# HG changeset patch
# User wenzelm
# Date 935073233 -7200
# Node ID 3b1b301467cdad89a2745552736fa5a58128f365
# Parent  21ff5bb68a5cd20afbbb849da9ab24caf92ade25
disabled print_mode (tmp);

diff -r 21ff5bb68a5c -r 3b1b301467cd src/Pure/Interface/proof_general.ML
--- a/src/Pure/Interface/proof_general.ML	Thu Aug 19 16:33:36 1999 +0200
+++ b/src/Pure/Interface/proof_general.ML	Thu Aug 19 16:33:53 1999 +0200
@@ -181,7 +181,7 @@
  (setup_messages ();
   setup_state isar;
   setup_thy_loader isar;
-  print_mode := [proof_generalN];
+(*  print_mode := [proof_generalN];  (* FIXME doesn't work, yet *)  *)
   set quick_and_dirty;
   if isar then Isar.sync_main () else isa_restart ());