Re: [isabelle] Requirement 'fontconfig'



On 28/07/2019 20:14, Lars Hupel wrote:
>> 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:
>> http://isabelle.in.tum.de/repos/isabelle/file/Isabelle2019/src/Pure/Tools/build_docker.scala
>>
> 
> FWIW, this could be useful to put on the Isabelle website.

OK, I have made minor changes to
https://isabelle.in.tum.de/installation.html to say more explicitly
"Docker: Headless Ubuntu Linux" and "The Docker image contains Ubuntu
Linux 18.04 with Isabelle2019".


	Makarius




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