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..)
_________________________________________________
 For list-related administrative tasks:
 http://list.cs.brown.edu/mailman/listinfo/plt-dev

Reply via email to