[isabelle-dev] Fork of Isabelle2013 release repository TODAY

[Gerwin Klein]

Hi Christian,

you seem to be a special case, at least I'm not aware of anyone else wanting to change the development versions of their entries significantly before ITP.

I'm actually trying to make the release before the ITP deadline if possible, or soon after, so that current development-only entries become visible to reviewers.

If there are new entries for ITP, they should be for the new Isabelle version if possible, which would ensure they can show up easily in time for reviewers to look at them.

The case that entries are actively changed in the development version for a conference is (and should be) rare. Since the difference is very small at the moment, I'm happy to pull your changes over to the release branch for ITP if that helps.

Cheers,
Gerwin

On 29/01/2013, at 3:24 PM, Christian Sternagel <c.sternagel at gmail.com> wrote:

> 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 <makarius at 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-dev at in.tum.de
>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>> 
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>