On 12 April 2013 15:01, Makarius makarius@sketis.net wrote:
On Wed, 10 Apr 2013, Michael Bradley wrote:
I am using PolyML 5.5 and I am using the Futures library in IsapLib:
https://github.com/iislucas/**isaplibhttps://github.com/iislucas/isaplib. All of the tasks are independent. I haven't had the chance to look properly into the debugging yet (revising!), but I'll let you know once I have.
It seems you are actually one of the maintainers of this spin-off library of Isabelle/ML, which was started by Lucas Dixon some years ago.
https://github.com/iislucas/**isaplib https://github.com/iislucas/isaplib is a copy of Isabelle's generic polyml code with some additions by myself and others. I updated it recently form Isabelle 2013's libraries, so it should be the same.
best, lucas