Sounds like a good change to me.
Robby
On Fri, Jul 1, 2011 at 12:11 AM, Eli Barzilay wrote:
> Four minutes ago, Neil Van Dyke wrote:
>> Now that there is no longer a "Help Desk", can that menu item in
>> DrRacket be renamed to something like "Documentation" or "Racket
>> Documentation"?
>>
>> I
Sorry -- I thought I had pushed that fix along with the previous one.
It's there now.
At Thu, 30 Jun 2011 10:46:22 -0600, Jon Rafkind wrote:
> I just updated to HEAD and I see this error during 'make install'.
>
> raco setup: making: compiler
> raco setup: making: raco
> make-vector: out of memor
I just updated to HEAD and I see this error during 'make install'.
raco setup: making: compiler
raco setup: making: raco
make-vector: out of memory making vector of length 0
make-vector: out of memory making vector of length 0
_
For list-related ad
Four minutes ago, Neil Van Dyke wrote:
> Now that there is no longer a "Help Desk", can that menu item in
> DrRacket be renamed to something like "Documentation" or "Racket
> Documentation"?
>
> I think lots of users are reluctant enough to go to "Help" menus,
> since they (Help menus, not users
Now that there is no longer a "Help Desk", can that menu item in
DrRacket be renamed to something like "Documentation" or "Racket
Documentation"?
I think lots of users are reluctant enough to go to "Help" menus, since
they (Help menus, not users) are usually full of useless filler crap.
If a
5 matches
Mail list logo