changeset 25749 | 10e7feb4e595 |
parent 25630 | 98dd706319a1 |
child 25848 | fb998d0bf175 |
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML Sun Dec 30 23:07:27 2007 +0100 +++ b/src/Pure/ProofGeneral/proof_general_emacs.ML Sun Dec 30 23:07:31 2007 +0100 @@ -292,7 +292,7 @@ setup_present_hook (); set initialized); sync_thy_loader (); - change print_mode (cons proof_generalN o remove (op =) proof_generalN); + change print_mode (update (op =) proof_generalN); Isar.sync_main ()); end;