diff -r 55a458a31e37 -r 10e7feb4e595 src/Pure/ProofGeneral/proof_general_emacs.ML
--- 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;