12 Dec
2017
12 Dec
'17
3:05 p.m.
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