[plt-dev] full-4.2.0.2 May 27 problem

Thanks,
Jos
----- Original Message ----- 
From: "Eli Barzilay" <eli at barzilay.org>
To: "Chongkai Zhu" <czhu at cs.utah.edu>
Cc: "Jos Koot" <jos.koot at telefonica.net>; <plt-dev at list.cs.brown.edu>
Sent: Tuesday, June 02, 2009 9:30 PM
Subject: Re: [plt-dev] full-4.2.0.2 May 27 problem


> On May 31, Chongkai Zhu wrote:
>> I got the same problem for plt-4.2.0.2-bin-i386-win32, and solve it
>> by copy the whole plt directory into "C:\var\tmp\plt\"
> 
> This is fixed in today's build.  (Just in case anyone did such a hack
> to avoid the problem.)
> 
> -- 
>          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                  http://www.barzilay.org/                 Maze is Life!
>