
8 Dec
2005
8 Dec
'05
7:16 a.m.
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