[plt-scheme] solving the halting problem

That's very nice. I look forward to it.
BTW, Happy new year to you and all other members of the PLT team.
Jos Koot

----- Original Message ----- 
From: "Robby Findler" <robby at cs.uchicago.edu>
To: "Jos Koot" <jos.koot at telefonica.net>
Cc: <plt-scheme at list.cs.brown.edu>
Sent: Thursday, January 03, 2008 5:56 PM
Subject: Re: [plt-scheme] solving the halting problem


> Well, that keybindings window could really use some kind of searching
> functionality ... so I added one (committed to SVN). Hope that's
> helpful in the future.
> 
> Robby
> 
> On Jan 3, 2008 10:40 AM, Jos Koot <jos.koot at telefonica.net> wrote:
>>
>>
>> Thanks, CTL k works perfect (Windows XP) It is in the list of active
>> keybindings. Stupid of me to overlook that.
>> Jos Koot
>>
>> ----- Original Message -----
>> From: "Robby Findler" <robby at cs.uchicago.edu>
>> To: "Jos Koot" <jos.koot at telefonica.net>
>> Cc: <plt-scheme at list.cs.brown.edu>
>> Sent: Thursday, January 03, 2008 5:24 PM
>> Subject: Re: [plt-scheme] solving the halting problem
>>
>>
>> > You probably want <menukey>-k, under the Scheme menu.
>> >
>> > Robby
>