[isabelle-dev] Isabelle2021 release process

Manuel Eberl eberlm at in.tum.de
Sat Jan 9 10:05:59 CET 2021


On 08/01/2021 16:11, Makarius wrote:
> On 08/01/2021 16:10, Manuel Eberl wrote:
>> 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.
> OK, just tell me when you are finished.
> 	Makarius

-------------- 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/20210109/cd3aecbb/attachment.bin>

More information about the isabelle-dev mailing list