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