I can't think of a need for CInterface. It is probably only worth
retaining while the FFI documentation is for CInterface. On that note,
it may be worth directing readers to using Foreign instead of
CInterface: the link to the foreign function interface on the main
documentation page
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