[isabelle] installation




I have recently installed a new version of PolyML (necessary to run an a new release of Linux we have here).

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?

Jeremy





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