[isabelle-dev] Failing proofs

Lawrence Paulson lp15 at cam.ac.uk
Fri Mar 22 18:06:58 CET 2019

I have taken care of those two.

> On 22 Mar 2019, at 16:21, Lars Hupel <hupel at in.tum.de> wrote:
>> Makarius' latest changeset has repaired the OCaml setup again. This has
>> now uncovered an actual build failure:
>> <https://ci.isabelle.systems/jenkins/job/isabelle-all/949/consoleFull>
>> The last succeeding build was four days ago, so it is a bit hard to tell
>> what change caused this.
> I've pushed two more fixes, but we still have failures in
> "Smooth_Manifolds" and "Noninterference_Generic_Unwinding", both of
> which are out of my depth.
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list