FYI, this package is orphaned and i don't maintain it anymore, but i
will try to look at this if i get time.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Package: smlnj
Version: 110.52-1
Severity: normal
Warning: I don't know if this is really a bug, as I am not a real SML/NJ
user. However, I installed smlnj and tried to use it with Isabelle.
Isabelle has a script build which runs smlnj. Unfontunately, I got
the errors:
Standard ML of New
2 matches
Mail list logo