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



Hi,

> 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?

Best,
  Cornelius




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