[plt-dev] language dialog

From: Eli Barzilay (eli at barzilay.org)
Date: Fri Jan 29 10:26:47 EST 2010

On Jan 29, Matthew Flatt wrote:
> 
> Eli: do you have the latest binary? I think an old binary would make
> both radio buttons stay on.

I did recompile and install a new one, but on today's build the
problem is gone.  (Perhaps just `make' wasn't enough.)

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!


Posted on the dev mailing list.