And everybody else sees that you learned this from the __implementation__
rather than the __documentation__ :-)
On Nov 2, 2010, at 1:11 AM, Jon Rafkind wrote:
nevermind, I see preferences:add-to-general-checkbox-panel in
drracket/private/main.rkt
On 11/01/2010 10:27 PM, Jon Rafkind
There's a lot of useful stuff in mzlib that should stick around. For
example, mzlib/thread's run-server is very nice.
Jay
On Tue, Nov 2, 2010 at 12:25 PM, Eli Barzilay e...@barzilay.org wrote:
Two minutes ago, Carl Eastlund wrote:
The function 'getpid' is provided by 'mzlib/os' but nothing in
2 matches
Mail list logo