# HG changeset patch
# User wenzelm
# Date 935487810 -7200
# Node ID 109b1ef4686a81e6e6c43da1bedc1d16b0153917
# Parent  9053ad9a976848025ad55ba45d0c5979ff835639
print_mode activated again;

diff -r 9053ad9a9768 -r 109b1ef4686a src/Pure/Interface/proof_general.ML
--- a/src/Pure/Interface/proof_general.ML	Tue Aug 24 11:43:05 1999 +0200
+++ b/src/Pure/Interface/proof_general.ML	Tue Aug 24 11:43:30 1999 +0200
@@ -181,7 +181,7 @@
  (setup_messages ();
   setup_state isar;
   setup_thy_loader isar;
-(*  print_mode := [proof_generalN];  (* FIXME doesn't work, yet *)  *)
+  print_mode := [proof_generalN];
   set quick_and_dirty;
   if isar then Isar.sync_main () else isa_restart ());