Re: [isabelle] installation

On Tue, 3 Jan 2006, Jeremy Dawson wrote:

> Isabelle can't seem to cope with the difference between the layout of PolyML
> 4.1.3 and that of PolyML 4.2
> How to I tell Isabelle where to find PolyML?

See the announcement "Poly/ML 4.1.4 for Isabelle2005" from 16-Nov-2005 on 
this list.


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