Fixed Isabelle version.
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 This commit looks good
Details
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 This commit looks good
Details
This commit is contained in:
parent
15aa0fb133
commit
e041d45e50
|
@ -24,7 +24,7 @@
|
|||
#
|
||||
# SPDX-License-Identifier: BSD-2-Clause
|
||||
|
||||
FROM logicalhacking:isabelle2019
|
||||
FROM logicalhacking:isabelle2018
|
||||
|
||||
WORKDIR /home/isabelle
|
||||
COPY thy_output.ML /home/isabelle/Isabelle/src/Pure/Thy
|
||||
|
|
Loading…
Reference in New Issue