Please, consult with me before making any semantic (i.e., non documentation or code formatting) change to those. Work can continue normally on all the other interfaces, with priority given to the Java interface, which will be the next one to be put in the quasi-frozen state. Thanks, 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