Achim D. Brucker
|
1f569f2f74
|
Fixed typo.
|
2021-01-03 16:29:38 +00:00 |
Achim D. Brucker
|
1f51468201
|
Inital commit of Dockerfile for Isabelle/DOF.
|
2019-08-17 22:53:10 +01:00 |
Achim D. Brucker
|
355588690a
|
Fixed project URL and improved description of Isabelle images.
|
2019-08-16 16:44:21 +01:00 |
Achim D. Brucker
|
b64cf8a7be
|
Initial commit isabelle.
|
2019-01-03 09:41:12 +00:00 |
Achim D. Brucker
|
def5cfad30
|
Initial commit debian4isabelle.
|
2019-01-02 07:41:12 +00:00 |
Achim D. Brucker
|
58d8036e69
|
Initial commit.
|
2019-01-02 07:41:12 +00:00 |