The automatic compilation stuff in DrScheme now avoids installed planet files (but still compiles stuff inside planet development links).
Robby _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
