As you may know from reading the release announcements, the htdp/world
teachpack hasn't been maintained in over a year. Instead, we have
recommended 2htdp/universe. To enforce this deprecation step, Robby
and I have decided to remove htdp/world from the next release. --
Matthias
_________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
