Re: [isabelle-dev] Status of afp-devel
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
[isabelle-dev] Status of afp-devel
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
Re: [isabelle-dev] Status of afp-devel wrt. release?
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
[isabelle-dev] Status of afp-devel wrt. release?
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