On Fri, 12 Dec 2014 14:17:27 +0100 (CET), Makarius <makarius at sketis.net> wrote:
Makarius> Back to the original question: a public version of the Makarius> aforementioned GTK C bindings for Poly/ML would be great.
Agreed, so could someone ping Phil Clayton about it? I am too shy (having been given access to an early version privately, and not having done anything with it).