27 Mar
2002
27 Mar
'02
12:01 a.m.
Dear all,
the merge was surprisingly smooth: only 6 conflicts and all very easy to deal with. We can now forget about the strict branch and proceed working on the main trunk. Ciao
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