option for discarding build results, enabled in particular for Isabelle_makeall
option for discarding build results, enabled in particular for Isabelle_makeall

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