On 12/12/17 14:16, David Matthews wrote: > Now that the Foreign structure has been around for a while I was > wondering whether it was time to remove CInterface and the related > structures. Is there any specific need to keep it?
At least not in the Isabelle sources. I've updated to the newer Foreign interface already 13 months ago: the following change may serve as example how to do it: http://isabelle.in.tum.de/repos/isabelle/rev/4fb8560df827 Makarius _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml