Re: [isabelle] Isabelle2016-RC0 - AFP and Library available for testing


> To get started with systematic testing there is now the relatively early
> (corresponding to
> Isabelle/e18444532fce and AFP/c62777f3e932).

My projects have external dependencies, which makes testing a new
Isabelle RC a bit hard.

Is there a working version of the afp available?

Is there a working version of the famous seL4/l4v WordLemmaBucket available?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.