clarified interact/print state: proof commands are treated as in TTY mode to get full response;
clarified interact/print state: proof commands are treated as in TTY mode to get full response;

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