equal
deleted
inserted
replaced
1137 val initialized = ref false; |
1137 val initialized = ref false; |
1138 |
1138 |
1139 fun init_pgip false = panic "No Proof General interface support for Isabelle/classic mode." |
1139 fun init_pgip false = panic "No Proof General interface support for Isabelle/classic mode." |
1140 | init_pgip true = |
1140 | init_pgip true = |
1141 (! initialized orelse |
1141 (! initialized orelse |
1142 (Output.no_warnings init_outer_syntax (); |
1142 (setup_preferences_tweak (); |
1143 setup_preferences_tweak (); |
1143 setup_proofgeneral_output (); |
1144 setup_proofgeneral_output (); |
1144 setup_messages (); |
1145 setup_messages (); |
1145 Output.no_warnings init_outer_syntax (); |
1146 setup_thy_loader (); |
1146 setup_thy_loader (); |
1147 setup_present_hook (); |
1147 setup_present_hook (); |
1148 init_pgip_session_id (); |
1148 init_pgip_session_id (); |
1149 welcome (); |
1149 welcome (); |
1150 set initialized); |
1150 set initialized); |
1151 sync_thy_loader (); |
1151 sync_thy_loader (); |
1152 change print_mode (cons proof_generalN o remove (op =) proof_generalN); |
1152 change print_mode (cons proof_generalN o remove (op =) proof_generalN); |
1153 pgip_toplevel tty_src); |
1153 pgip_toplevel tty_src); |
1154 |
1154 |
1155 |
1155 |