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 > [email protected] > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev >
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
