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.


	Makarius





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