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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
