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? > >

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