[PPL-devel] `grids' branch merged

[Roberto Bagnara]

Dear all,

the `grids' branch has been merged to the main trunk.
This means that the `grids' branch has to be considered closed:
work on and around the Grid domain proceeds on the main branch
(the Grid domain will be part of PPL 0.9).  The build machine
cslin150.leeds.ac.uk has consequently been redirected to the
main trunk.
Cheers,

     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