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!
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
