restart: sync_thy_loader instead of overly aggressive touch_all_thys; provisions for persistent sessions;
restart: sync_thy_loader instead of overly aggressive touch_all_thys;
provisions for persistent sessions;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle