Dear Gerwin,
Its already a bit late for my idea and maybe I'm the only one in that
situation, but at least for me it would make sense to wait with the AFP
release until the paper submission deadline of ITP. (Since the dates are
rather close anyway and ITP submissions should be accompanied by links
to formalizations, having a release entry, rather than a development
entry, would be nice.)
Of course I can also send any later changes by email (as you suggest
below), but if others are in a similar situation, you might save some
work by waiting a bit longer.
cheers
chris
PS: By the same token, an option to submit to the release branch around
the deadline of the camera ready version (in case of acceptance *fingers
crossed*) would also be nice (in case, reviews triggered changes in a
formalization).
Anyone else?
On 01/22/2013 06:33 AM, Gerwin Klein wrote:
On 21.01.2013, at 2:08 AM, Makarius <makar...@sketis.net> wrote:
* AFP needs to be understood wrt. isabelle-release.
Gerwin will explain his organization of the AFP release for
Isabelle2013, based on the afp-devel repository.
I'll attempt to make the AFP release semi-simultaneous with the Isabelle
release this time.
This means, afp-test will point to the Isabelle release candidate by Fri
morning SYD time (Thu night CET).
At the same time (Thu night CET), the afp release branch will fork in
afp-devel. Any commits after will not be visible in the 2013 AFP release unless
you specifically send them to me by email.
If there are any updates/cleanups/last minute changes yet to be done for any of
the entries, please have them in by then.
Cheers,
Gerwin
________________________________
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.
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
