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

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

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

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

[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