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
Dear all,
I will now merge the `strict' branch to the main trunk.
Please, avoid committing changes to the repository
until the merge is finished (this is not strictly
required, but it would make my life easier).
I will send a note to the list when everything is done.
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
