print_mode activated again;
authorwenzelm
Tue Aug 24 11:43:30 1999 +0200 (1999-08-24 ago)
changeset 7330109b1ef4686a
parent 7329 9053ad9a9768
child 7331 aee8f76fe54c
print_mode activated again;
src/Pure/Interface/proof_general.ML
     1.1 --- a/src/Pure/Interface/proof_general.ML	Tue Aug 24 11:43:05 1999 +0200
     1.2 +++ b/src/Pure/Interface/proof_general.ML	Tue Aug 24 11:43:30 1999 +0200
     1.3 @@ -181,7 +181,7 @@
     1.4   (setup_messages ();
     1.5    setup_state isar;
     1.6    setup_thy_loader isar;
     1.7 -(*  print_mode := [proof_generalN];  (* FIXME doesn't work, yet *)  *)
     1.8 +  print_mode := [proof_generalN];
     1.9    set quick_and_dirty;
    1.10    if isar then Isar.sync_main () else isa_restart ());
    1.11