I've updated the version number. Thanks for pointing it out.
Regards,
David
Rob Arthan wrote:
David,
I tried building ProofPower svn rev 1189 of Poly/ML on Fedora 12 and it worked
fine.
One question: is it intended that poly -v reports RTS version: I386-5.3.0?
Regards,
Rob.
On 12 Aug 2010, at 16:36, David Matthews wrote:
I'm planning to release Poly/ML 5.4 by the end of this month unless there are
any show-stoppers. I've had a couple of bug reports from Phil Clayton and
fixed those. I've also fixed a few minor bugs so that it will build on the
PowerPC and Sparc. Now is the time to check that your software will run in the
current version and let me know if there are problems. Don't forget to run
make compiler
twice to build the current version (SVN 1189).
David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml