[isabelle-dev] Stripped testboard repository

Lars Noschinski noschinl at in.tum.de
Mon Oct 20 17:56:45 CEST 2014

Hi everyone,

someone accidentally pushed a big bunch of unrelated changes to the
testboard repository, effectively hiding a lof of history. I clone a new
repository, based on the latest tip -- if you miss any commits, you
might need to push them again (the test results are still there, but not
shown when not in the repository).

A backup of the old repository exists.

More information about the isabelle-dev mailing list