On 12 April 2013 15:01, Makarius <makar...@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/**isaplib<https://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
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml