Ignore Isabelle's output folder