Re: [isabelle] Requirement 'fontconfig'
BTW, the official Isabelle docker image documents such system
dependencies: see http://isabelle.in.tum.de/installation.html at the
bottom, which points to https://hub.docker.com/r/makarius/isabelle --
and this is generated by Isabelle/Scala here:
FWIW, this could be useful to put on the Isabelle website.
This archive was generated by a fusion of
Pipermail (Mailman edition) and