[isabelle-dev] Haskabelle test

Lars Noschinski noschinl at in.tum.de
Fri Aug 1 12:15:31 CEST 2014


Is there anyone who knows how the Haskabelle test is setup and can
change it so it runs not only if the Haskabelle repository changes, but
also if the Isabelle repository changed?

  -- Lars

More information about the isabelle-dev mailing list