[PPL-devel] `space_dim' branch merged back
Roberto Bagnara
bagnara at cs.unipr.it
Sat Oct 27 16:15:26 CEST 2001
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
More information about the PPL-devel
mailing list