[isabelle-dev] [Isabelle-ci] Build failure in Isabelle
lp15 at cam.ac.uk
Thu Jun 16 12:55:18 CEST 2016
I’m taking care of it
> On 16 Jun 2016, at 10:44, Manuel Eberl <eberlm at in.tum.de> wrote:
> Sure, I can do that later today.
More information about the isabelle-dev