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?

Larry


On 31 Aug 2006, at 21:39, Peter V. Homeier wrote:

How would you compare Poly/ML and SMLNJ with respect to supporting Isabelle?






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.