[plt-dev] documentation enhancements

From: Jon Rafkind (rafkind at cs.utah.edu)
Date: Thu Feb 19 16:51:54 EST 2009

Matthew Flatt wrote:
> At Thu, 19 Feb 2009 14:46:03 -0700, Jon Rafkind wrote:
>> Two things would make the documentation much better
>> 1. Always give the collection/library that a definition is part of. Some 
>> parts of the documentation say (require ...) at the top but not all do. 
>> In the end I resort to grep -r to figure out which collection to 
>> include. Adding the collection name seems like it could be done 
>> automatically.
> Let the mouse hover over a defined name, and a pop up tell you where it
> comes from.
Ah, awesome. Advertising this somewhere on each page would be good. (All 
magic should be advertised..)

Posted on the dev mailing list.