On Wed, 11 Sep 2013, Gerwin Klein wrote:
An aside: The more AFP entries are used as proper libraries, the more
we need to think how release processes need to interact etc.
We've been thinking about that from the start. There shouldn't be
anything special to do. AFP-2013-1 will come out a few days after
Isabelle-2013-1 and should work together with it.
There is only a minor point to be reconsidered: when exactly to start
getting in sync with the Isabelle release. Just ss last time, we will
have several weeks of public Isabelle release candidates that are mostly
indistinguishable from the final release. So users will be invited to
start using (and porting existing applications) with RC1 already.
This grey period between RC1 ... final will be relatively long this time,
since I will disappear on my post-summer vacation in the middle of it.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
