src/Pure/ProofGeneral/proof_general_emacs.ML
changeset 25749 10e7feb4e595
parent 25630 98dd706319a1
child 25848 fb998d0bf175
equal deleted inserted replaced
25748:55a458a31e37 25749:10e7feb4e595
   290           ProofGeneralPgip.init_pgip_channel (! Output.priority_fn);
   290           ProofGeneralPgip.init_pgip_channel (! Output.priority_fn);
   291           setup_thy_loader ();
   291           setup_thy_loader ();
   292           setup_present_hook ();
   292           setup_present_hook ();
   293           set initialized);
   293           set initialized);
   294         sync_thy_loader ();
   294         sync_thy_loader ();
   295        change print_mode (cons proof_generalN o remove (op =) proof_generalN);
   295        change print_mode (update (op =) proof_generalN);
   296        Isar.sync_main ());
   296        Isar.sync_main ());
   297 
   297 
   298 end;
   298 end;