[isabelle-dev] Isabelle2021 release process

Manuel Eberl eberlm at in.tum.de
Fri Jan 8 16:10:24 CET 2021


I have a small amount of material for HOL-Data_Structures and for
Algebraic_numbers in the AFP. Will put that in in the next day or two.

Manuel


On 08/01/2021 14:11, Makarius wrote:
> On 27/12/2020 20:23, Makarius wrote:
>> We are in an early stage of the official Isabelle2021 release process.
>>
>> The blog https://isabelle-dev.sketis.net/phame/blog/view/2 and the workboard
>> https://isabelle-dev.sketis.net/project/board/4 provide a clue where we are.
>>
>> Presently, the repository is still open for commits for that branch, at least
>> until the end of the Christmas season (10-Jan-2021).
> 
> Are we ready to conclude?
> 
> I am considering to produce Isabelle2021-RC2 on Sunday 10-Jan-2021, and fork
> the isabelle-dev vs. isabelle-release repositories. Afterwards any changes for
> the release need to be sent via email to me.
> 
> The timing depends also depends on AFP: is everything ready over there?
> 
> 
> 	Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5574 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20210108/4bc5ccd7/attachment.bin>


More information about the isabelle-dev mailing list