src/Pure/Interface/proof_general.ML
changeset 7289 3b1b301467cd
parent 7266 28d95a7a265a
child 7330 109b1ef4686a
equal deleted inserted replaced
7288:21ff5bb68a5c 7289:3b1b301467cd
   179 
   179 
   180 fun init isar =
   180 fun init isar =
   181  (setup_messages ();
   181  (setup_messages ();
   182   setup_state isar;
   182   setup_state isar;
   183   setup_thy_loader isar;
   183   setup_thy_loader isar;
   184   print_mode := [proof_generalN];
   184 (*  print_mode := [proof_generalN];  (* FIXME doesn't work, yet *)  *)
   185   set quick_and_dirty;
   185   set quick_and_dirty;
   186   if isar then Isar.sync_main () else isa_restart ());
   186   if isar then Isar.sync_main () else isa_restart ());
   187 
   187 
   188 
   188 
   189 end;
   189 end;