[isabelle-dev] Post-release mode

Gerwin Klein 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,
> http://isabelle.in.tum.de/repos/AFP/)

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 mailing list