[plt-dev] Re: Pre-Release Checklist for v5.0

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri May 28 17:07:37 EDT 2010

The documentation in the bundle I downloaded seems to be wrong. I see
these on the main page:

  (part ("(lib scribblings/places/places.scrbl)" "top"))
  (part ("(lib handin-server/scribblings/handin-server.scrbl)" "top"))

in red and searching doesn't seem to work.


Posted on the dev mailing list.