[PPL-devel] `space_dim' branch merged back

[Roberto Bagnara]

Dear all,

the `space_dim' branch has been merged back to the main trunk.
In order to avoid confusion, the best thing to do is not to use
that branch any longer.  In any case, I have tagged both the branch
and the trunk so that the occasional commit to the dead branch
will not be lost.
Ciao,

    Roberto

-- 
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it