[isabelle-dev] Are sources available?

Yuri yuri at rawbw.com
Sat Jun 15 19:01:33 CEST 2019

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.


More information about the isabelle-dev mailing list