<p dir="ltr">This was indeed to help students using Windows. </p>
<p dir="ltr">I was not aware of the option in the menu! That works great -- I confirmed with the students. We'll tell them to use that. </p>
<p dir="ltr">(Sent from my mobile phone)</p>
<div class="gmail_quote">On Oct 24, 2013 5:05 PM, "Matthew Flatt" <<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
At Thu, 24 Oct 2013 16:42:48 -0400, Sam Tobin-Hochstadt wrote:<br>
> On Thu, Oct 24, 2013 at 4:10 PM, Robby Findler<br>
> <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> wrote:<br>
> > Ryan & John: can you use the GUI package manager to install a package<br>
> > instead of writing a program in the drracket window that does it, at least<br>
> > for now?<br>
><br>
> Just to speak for Ryan here, he's using 5.3.6 currently for his<br>
> students, and thus I don't think he can use the Package Manager.<br>
><br>
> Is there a safe recipe for Windows 5.3.6 users that doesn't require<br>
> the Command Prompt?<br>
<br>
For installing or updating a package, DrRacket v5.3.6 has an "Install<br>
Package..." item in the "File" menu.<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>