[PPL-devel] The `strict' branch has been merged

[Roberto Bagnara]

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 at cs.unipr.it