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
