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