> I forgot to time it. :( It's a dual-core 2.2 GHz box with 4 GB of RAM, > so I think it's under an hour.
That'd be cool. The 2005 version took like 10 hours for me, but maybe I was doing something wrong. Ondrej _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
