Re: [isabelle] Using Isabelle on Intel Macintosh?
Poly/ML gives better performance than SML/NJ, probably because of its
better garbage collector. However, SML/NJ is quite usable.
I'm interested to hear that you are using Isabelle rather than HOL.
Are there any interesting details you can share?
On 31 Aug 2006, at 21:39, Peter V. Homeier wrote:
How would you compare Poly/ML and SMLNJ with respect to supporting
This archive was generated by a fusion of
Pipermail (Mailman edition) and