16 Mar
2004
16 Mar
'04
5:17 p.m.
- Isabelle (whose license appears to allow distribution) depends on
PolyML (whose license doesn't appear to - see above)
Isabelle does not depend on PolyML (or its license...). You can use it with SMLNJ. Whether or not smlnj license is better, I don't know.
Cheers,
--
Paulo J. Matos : pocm [_at_] mega . ist . utl . pt
Instituto Superior Tecnico - Lisbon
Computer and Software Eng. - A.I.
- > http://mega.ist.utl.pt/~pocm
---
-> God had a deadline...
So, he wrote it all in Lisp!