Commit 5994b8a8 authored by Gerwin Klein's avatar Gerwin Klein

add Isabelle2021 release date

parent 89b54e9a0be0
......@@ -20,3 +20,4 @@
2018 = 2018-08-16
2019 = 2019-06-10
2020 = 2020-04-16
2021 = 2021-02-21
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment