I pushed a changeset to the testboard, but it isn’t showing up at http://isabelle.in.tum.de/testboard/Isabelle
The last change it shows was 6 days ago. Moreover, testboard and the default branch look identical (I’m using SourceTree), so have I simultaneously pushed my changes to the main repository somehow? Larry _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev