On Wed, Feb 18, 2009 at 9:06 AM, Matthew Flatt <[email protected]> wrote: > FWIW, it's working for me at the moment.
Strange. I took a closer look: the underlying cause is that I sometimes get connection errors from the web server. That would explain why search doesn't work all the time for me, but I don't know what the deeper cause for the network disconnects are. _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
