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