[isabelle] CInterface in Isabelle 2016-1



Hi everyone,

In the news for Isabelle 2016-1, it is written that "low-level ML system structures are no longer exposed to Isabelle/ML user-space". I guess this is probably the reason why I cannot "open CInterface" in Isabelle 2016-1 any longer. Is there another way I could use the CInterface structure or is it not possible any more in Isabelle 2016-1?

Thanks,
Albert




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