[plt-dev] documentation enhancements

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..)