On Sun, Feb 8, 2009 at 4:42 PM, Thomas Chust <[email protected]> wrote: > 2009-02-08 Robby Findler <[email protected]>: >> [...] >> The latest piece that I've just checked in now, is that drscheme shows >> you a single line at the bottom of the screen with the planet status. >> >> (The other pieces, checked in earlier, were adding general information >> from planet to the log and adding support for viewing the logs to >> drscheme.) >> [...] > > This is great, thank you :-)
That is a very nice feature thanks Robby. _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
