[isabelle-dev] Stripped testboard repository
noschinl at in.tum.de
Mon Oct 20 17:56:45 CEST 2014
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