proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE637e3e85cd6f: more on Isabelle_System.bash;
- Branches
- Unknown
- Tags