Update isabelle

jvanbruegge · jvanbruegge · commit 1a35321fab90 · 2021-03-01T13:27:21.000+01:00
diff --git a/Dockerfile b/Dockerfile
@@ -1,4 +1,4 @@
-FROM makarius/isabelle:Isabelle2020
+FROM makarius/isabelle:Isabelle2021
 
 RUN for t in Nominal2 FinFun; do \
         curl https://www.isa-afp.org/release/afp-$t-current.tar.gz -o $t.tar.gz ; \

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-FROM makarius/isabelle:Isabelle2020`
	`1`	`+FROM makarius/isabelle:Isabelle2021`
`2`	`2`
`3`	`3`	`RUN for t in Nominal2 FinFun; do \`
`4`	`4`	`curl https://www.isa-afp.org/release/afp-$t-current.tar.gz -o $t.tar.gz ; \`