[isabelle-dev] Isabelle2021 release process

[Manuel Eberl]

Done.

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>