10 Aug
2011
10 Aug
'11
6:23 p.m.
On 08/10/11 16:41, PcX wrote:
I pull the latest, but it also has the problem, so there is another problem.
Ooopss... my fault again. Should be OK now. Cheers, 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