[PPL-devel] Re: About to do a first merge from alt_nnc to the trunk

Roberto Bagnara wrote:

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.

Done: you can access the repository at will. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it