Dear all, I am about to do a first merge from alt_nnc to the trunk. This operation will be smoother if I can have exclusice access to the repository for one hour or so. Here is what will happen: trunk alt_nnc | | alt_nnc_root +----->------+ | | | | | | | | | | merge_to_alt_nnc + | before_merge_from_trunk .\ . . \ . . \ . . \ . . \ . . \ . . \ . . \ . . \ . . \ . . \ . . \. after_merge_from_trunk | | | | 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