On Mi 18 Aug 2021 at 01:20, sfkle...@gmail.com wrote:
>> I don't know whether Waldek's and Steve's packages will deal with all the >> prerequisites described here: >> >> https://www.cs.bham.ac.uk/research/projects/poplog/V16/required-packages.html > > GetPoplog does, since that's an intrinsic part of the packaging. We also have > an > Arch package, should anyone be interested. Thanks for the Arch package - works like a charm. Andreas -- ceterum censeo redmondinem esse delendam