[isabelle-dev] [Isabelle-ci] Build failure in Isabelle

Lawrence Paulson lp15 at cam.ac.uk
Thu Jun 16 12:55:18 CEST 2016

Previous message (by thread): [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Next message (by thread): [isabelle-dev] Jenkins maintenance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I’m taking care of it
Larry

> On 16 Jun 2016, at 10:44, Manuel Eberl <eberlm at in.tum.de> wrote:
> 
> Sure, I can do that later today.

Previous message (by thread): [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Next message (by thread): [isabelle-dev] Jenkins maintenance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list