[plt-dev] language dialog

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!