[isabelle-dev] Post-release mode
Gerwin.Klein at nicta.com.au
Sat Feb 16 10:41:28 CET 2013
On 14.02.2013, at 7:08 PM, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
> 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,
Sorry, that could have been clearer: afp-devel is the "normal" afp repository developers commit to (i.e. the http://afp.hg.sourceforge.net/hgweb/afp/afp you mention).
The other repositories listed on [http://afp.hg.sourceforge.net/hgweb/afp/] should be used by the editors only.
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
More information about the isabelle-dev