Roberto Bagnara wrote:
Since for our purposes unbounded integers are of crucial importance, we will have to switch to the new version and abandon the old ones. I will commit the necessary changes to the repository during the weekend. At the same time I will upgrade all the Tinderbox build machines. You are advised to upgrade your machines as well, starting from Monday.
Dear all, I have just committed the necessary changes to the repository. I have also upgraded all the build machines with SWI-Prolog 5.5.40. Please let me know if you notice anything strange. Cheers, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it