[isabelle-dev] Post-release mode
makarius at sketis.net
Thu Feb 14 12:17:48 CET 2013
On Thu, 14 Feb 2013, Florian Haftmann wrote:
>> what is the policy for AFP then at the moment? Are changes which go
>> beyond Isabelle2013 to be pushed to the sourceforge repository already?
According to my information Gerwin is offline for 2-3 days. He intended
to publish AFP for Isabelle2013 on Sunday.
> what exactly is afp-devel? I am unable to map this to the repositories
> I am aware of (http://afp.hg.sourceforge.net/hgweb/afp/afp/shortlog,
There are several AFP clones here:
The one called "afp-2013" has already been forked approx. 1 week ago.
There are fresh commits on the one called "afp", so I suppose this is
already the post-release version.
More information about the isabelle-dev