On 2019-06-15 09:51, Lars Hupel wrote: > AFAICT the major hurdle is to provide packages for all extra components, > like Poly/ML. Thanks for your reply. Now I see that it used to be a port, but it was deleted: > $ grep isabelle MOVED > math/isabelle||2015-03-01|Has expired: Broken for more than 6 months I'll see it I can revive it. Yuri