10 Aug
2011
10 Aug
'11
7:14 p.m.
On 08/10/11 19:11, PcX wrote:
δΊ 2011/8/11 0:23, Roberto Bagnara ει:
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
It hasn't been fixed.
Please let us have your configure script. Thanks, 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