[isabelle-dev] testboard

Larry Paulson lp15 at cam.ac.uk
Wed Aug 19 20:33:38 CEST 2015


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



More information about the isabelle-dev mailing list