[isabelle] Error in DockerHub documentation



Dear Isabelle developers,

on the page https://hub.docker.com/r/makarius/isabelle
there is a block 'Docker Pull Command'. But when using the command from it, docker fails to pull any image:

> docker pull makarius/isabelle            
> Using default tag: latest
> Error response from daemon: manifest for makarius/isabelle:latest not found: manifest unknown: manifest unknown


I guess that the reason is the absence of 'latest' tag (the default one). The following command work perfectly:

> docker pull makarius/isabelle:Isabelle2021

Regards,
Boris




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.