excursion_result now also passes previous state to presentation functions. This is useful for hiding proof scripts.
excursion_result now also passes previous state to presentation functions.
This is useful for hiding proof scripts.

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