<div dir="ltr">Just as an aside, I'm slightly annoyed by the fact that educational uses of Racket are so prevalent that people think Racket is a toy language to teach people how to program. (Another pet peeve: the Racket in HtDP and similar books is very unidiomatic and uses lots of deprecated forms).<div><br></div><div>I hope you can pick up some more Racket as you teach Racket!</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Feb 11, 2015 at 7:19 PM, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">It is included with the distribution of Racket. Try the "Racket<br>
Documentation" menu entry in the "Help" menu.<br>
<br>
Robby<br>
<div><div class="h5"><br>
On Wed, Feb 11, 2015 at 6:13 PM, Mike Burke <<a href="mailto:meburke@rocomai.com">meburke@rocomai.com</a>> wrote:<br>
> I just got back to using Racket. I upgraded from 5.1.1 today. I find myself<br>
> in the position of teaching a friend how to program.<br>
><br>
><br>
><br>
> But one of my pet peeves is that so many packages/applications/programs keep<br>
> their help files and manuals online. It seems that everyone from Adobe to<br>
> Zen assumes that everyone wants to browse the web for the basic help and<br>
> manuals.<br>
><br>
><br>
><br>
> I suppose I can strip the docs if I have to, but before I go into doing that<br>
> I’ll ask; Is the documentation for Racket available in a package I can use<br>
> offline?<br>
><br>
><br>
><br>
> Thanks,<br>
><br>
><br>
><br>
> Mike<br>
><br>
><br>
</div></div>> ____________________<br>
>   Racket Users list:<br>
>   <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
><br>
<br>
____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</blockquote></div><br></div>