[polyml] Binary compatibility and static linking

rda＠lemma-one.com

8 Apr 2009 8 Apr '09

6:10 p.m.

Makarius,

On Monday 06 Apr 2009 7:39 pm, Makarius wrote:

... [ and extremely helpful reply ] ...

Many thanks for that. Yet again ProofPower will benefit from the Isabelle experience with using Poly/ML.

Regards,

Rob.