Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [polyml] Problems compiling polyml 5 on sparc/...

Email Gateway (Aug 18 2022 at 10:27):

From: Henry Sudhof <hsudhof@cs.tu-berlin.de>
Hi David,
I was able to compile the current CVS version on SPARC/Solaris10. Thank
you for your help, it's much appreciated.
Should you still require access, please email me. We should be able to
set up a temporary account for you.

Regards,
Henry

David Matthews wrote:

Last updated: Jan 04 2025 at 20:18 UTC