[isabelle-dev] Failing proofs

[Lawrence Paulson]

I have taken care of those two.
Larry

> 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