Hi, 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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
