Re: [isabelle] Isabelle2016-RC0 - AFP and Library available for testing
On Sat, 2 Jan 2016, C. Diekmann wrote:
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?
AFP is cited above as c62777f3e932, it can be cloned from
Is there a working version of the famous seL4/l4v WordLemmaBucket
I don't know.
The standard way to keep generally interesting libraries in an
automagically maintained way is to put them into AFP. Gerwin Klein should
be able to say how feasible it is for this word bucket.
This archive was generated by a fusion of
Pipermail (Mailman edition) and