[isabelle-dev] Failing proofs
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:
>> 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
More information about the isabelle-dev