[MLton] Isabelle on MLton?

nipkow@in.tum.de nipkow@in.tum.de
Fri, 24 Mar 2006 21:39:06 +0100 (CET)


Thanks for the quick reaction. We'll get back to you once our main developer
is back from his holidays.

Tobias