# HG changeset patch
# User wenzelm
# Date 1199052451 -3600
# Node ID 10e7feb4e595d70fd2c0059b839a8e5fb0ffd2d0
# Parent  55a458a31e37a58eb992bff10ff647c9a35940cd
tuned;

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;