16 Mar
2004
16 Mar
'04
6:13 p.m.
Paulo> Isabelle does not depend on PolyML (or its license...). You can Paulo> use it with SMLNJ. Whether or not smlnj license is better, I Paulo> don't know.
SMLNJ is classic GPL, so license-wise at least it wins.
--
Nothing can be explained to a stone.
Or to a stoned person, either.