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 https://bitbucket.org/isa-afp/afp-devel/


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

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.


	Makarius





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