On Tue, Aug 11, 2009 at 12:29 PM, Matthew Flatt<mfl...@cs.utah.edu> wrote: > Do any of your linked planet packages refer to regular Planet packages > (which must be downloaded and installed)?
Yes. --Carl _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
