changeset 7330 | 109b1ef4686a |
parent 7289 | 3b1b301467cd |
child 7407 | fc8cad55af74 |
--- 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 ());