Hi there, please, consider the code in the main trunk to be frozen. Only documentation changes and critical bug fixes should be committed until the release branch is created (I plan to do this on Saturday or Sunday). 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