[MLton] Isabelle on MLton?

nipkow@in.tum.de nipkow@in.tum.de
Fri, 24 Mar 2006 07:54:16 +0100 (CET)


Hi,

Is there any chance that we will be able to use MLton to run Isabelle
(isabelle.in.tum.de) in the forseeable future? We need an interactive
top-level, which I believe you currently don't support.
At the moment we use PolyML (mostly) and sml/nj.

Regards,
Tobias