8 Apr
2010
8 Apr
'10
10:56 p.m.
On 04/08/10 15:07, Roberto Bagnara wrote:
P.S. I will post an updated snapshot later today. I will mail you when this is available.
Hi Aziem, I have just uploaded a new release snapshot at http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ Your feedback is most welcome. All the best, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it