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