Re: [isabelle] Requirement 'fontconfig'

On 28/07/2019 20:14, Lars Hupel wrote:
>> BTW, the official Isabelle docker image documents such system
>> dependencies: see at the
>> bottom, which points to --
>> and this is generated by Isabelle/Scala here:
> FWIW, this could be useful to put on the Isabelle website.

OK, I have made minor changes to to say more explicitly
"Docker: Headless Ubuntu Linux" and "The Docker image contains Ubuntu
Linux 18.04 with Isabelle2019".


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