Re: [isabelle-dev] Towards Isabelle2018-RC1

2018-07-02 Thread Makarius 
On 02/07/18 14:35, Lars Hupel wrote:
>> I will produce Isabelle2018-RC1 later today, maybe in approx. 3h.
>>
>> For that I also need a version of AFP that works.
> 
> According to , the latest
> known-good version (except for the "slow" sessions) is

The above hint was mainly for people pushing things in the last moment,
lets say within the next 2h.

When doing a release candidate, it often requires some final polishing
and consequently a full test afterwards. I am merely hoping that this
test will work, and I don't have to respin.


Again note that Isabelle2018-RC1 will be still on the main isabelle-dev
repository -- there will be no repository fork yet.


Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Re: [isabelle-dev] Towards Isabelle2018-RC1

2018-07-02 Thread Lars Hupel 
> I will produce Isabelle2018-RC1 later today, maybe in approx. 3h.
> 
> For that I also need a version of AFP that works.

According to , the latest
known-good version (except for the "slow" sessions) is

Isabelle/1b9462304e1d
AFP/2af750da996c
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Re: [isabelle-dev] Towards Isabelle2018-RC1

2018-07-02 Thread Makarius 
On 26/06/18 20:05, Makarius wrote:
> This is a reminder that the official Isabelle2018-RC1 snapshot is about
> to emerge within a few days (around 01-Jul-2018). The isabelle-dev
> repository fork will *not* happen yet: everyone is called to consolidate
> before and after the Isabelle2018-RC1 checkpoint with robustness and
> stability in mind.

I will produce Isabelle2018-RC1 later today, maybe in approx. 3h.

For that I also need a version of AFP that works.


Makarius

___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Re: [isabelle-dev] Towards Isabelle2018-RC1

2018-06-26 Thread Makarius 
On 26/06/18 20:05, Makarius wrote:
> This is a reminder that the official Isabelle2018-RC1 snapshot is about
> to emerge within a few days (around 01-Jul-2018). The isabelle-dev
> repository fork will *not* happen yet: everyone is called to consolidate
> before and after the Isabelle2018-RC1 checkpoint with robustness and
> stability in mind.

This is also an opportunity to check that NEWS and CONTRIBUTORS are
reasonably complete. I will derive the ANNOUNCE file from it as usual:
it will appear on the website front-page eventually.


Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

[isabelle-dev] Towards Isabelle2018-RC1

2018-06-26 Thread Makarius 
This is a reminder that the official Isabelle2018-RC1 snapshot is about
to emerge within a few days (around 01-Jul-2018). The isabelle-dev
repository fork will *not* happen yet: everyone is called to consolidate
before and after the Isabelle2018-RC1 checkpoint with robustness and
stability in mind.


Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev