# 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 ());