[isabelle] polyml 4.2.0?
Has anyone tried building Isabelle with the new 4.2.0 release of
polyml? I was able to build with the binary provided on the Isabelle
website but using 4.2.0 doesn't seem to work at all - do I need some
support libs in polyml?
Sorry for such an elementary question - I'm looking at putting together
an ebuild for gentoo linux and matters would be somewhat simplified if
4.2.0 worked, since the license on that release is LGPL.
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
This archive was generated by a fusion of
Pipermail (Mailman edition) and