Re: [isabelle] Isabelle2016-RC0 - AFP and Library available for testing
> To get started with systematic testing there is now the relatively early
> http://isabelle.in.tum.de/website-Isabelle2016-RC0 (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