changeset 51963 | 7e014c16da7d |
parent 51939 | 65548ab2fc55 |
child 51970 | f08366cb9fd1 |
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML Mon May 13 19:52:16 2013 +0200 +++ b/src/Pure/ProofGeneral/proof_general_emacs.ML Mon May 13 20:15:06 2013 +0200 @@ -215,7 +215,6 @@ Output.default_output Output.default_escape; Markup.add_mode ProofGeneralPgip.proof_general_emacsN YXML.output_markup; setup_messages (); - ProofGeneralPgip.init_pgip_session_id (); setup_thy_loader (); setup_present_hook (); initialized := true);