[plt-dev] Patch: index planet info fields

From: David Van Horn (dvanhorn at ccs.neu.edu)
Date: Thu Apr 30 11:19:23 EDT 2009

The attached patch adds index entries for all the planet info.ss fields, 
such as 'blurb, 'release-notes, etc.

David

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: planet.scrbl.diff
URL: <http://lists.racket-lang.org/dev/archive/attachments/20090430/53a27a93/attachment.ksh>

Posted on the dev mailing list.