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

[Roberto Bagnara]

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 at cs.unipr.it