[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?


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