
10 Aug
2011
10 Aug
'11
9:23 a.m.
On 08/10/11 04:04, PcX wrote:
I try to checkout the version at 2011/7/11, and that's no problem. But I checkout the version at 2011/7/24, it will cause my problem. So there is something wrong between 2011/7/11 and 2011/7/24.
Indeed. In a commit of 2011/07/23 I forgot a pair of double quotes? Can you please check if this solves the problem for you? Thanks,
Roberto
P.S. Thank you too Anthony!
--
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