Re: [isabelle-dev] Status of afp-devel

2017-09-28 Thread Gerwin.Klein 
Imminent. I was waiting for the statistics part to be updated to the new 
qualified imports, but I think we’ll just handle that one separately.

Cheers,
Gerwin

> On 28.09.2017, at 23:52, Makarius  wrote:
> 
> What is the status of the afp-devel repository?
> 
> Isabelle2017-RC3 is fairly stable and deserves a proper afp-2017
> repository fork.
> 
> Having a clear correspondence of isabelle-dev vs. afp-devel and
> Isabelle2017 vs. afp-2017 also means that changes to the devel branches
> can be again more ambitious.
> 
> 
>   Makarius
> ___
> 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

Re: [isabelle-dev] Status of afp-devel wrt. release?

2016-02-13 Thread Gerwin Klein 
The official status is: afp-2016 is now forked and preparing for release.

Any new changes to afp-devel will stay on afp-devel by default and it is fine 
to move on with isabelle-dev.

Everything I’m aware of on afp-2016 is concluded, but if anyone still has 
change sets that really need to move over to afp-2016, please let me know.

Cheers,
Gerwin



> On 13.02.2016, at 05:43, Makarius  wrote:
>
> What is the formal status of the afp-devel wrt. the Isabelle2016 release?
>
> It would be nice to have a clear situation, which AFP repository corresponds 
> to isabelle-dev and which to Isabelle2016.
>
> I am about to merge isabelle-release back to isabelle-dev, even before the 
> final tagging for Isabelle2016 happens.
>
> This means isabelle-dev could move again at full speed.
>
>
>   Makarius
> ___
> isabelle-dev mailing list
> isabelle-...@in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev




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