[plt-dev] language dialog, some minor changes & bugfixes

From: Carl Eastlund (carl.eastlund at gmail.com)
Date: Fri Jan 29 15:16:19 EST 2010

On Fri, Jan 29, 2010 at 3:11 PM, Eli Barzilay <eli at barzilay.org> wrote:
> On Jan 29, Robby Findler wrote:
>> And finally, one question: for the "what do I do to get started" ie
>> the "not really a language" language? It should probably change
>> somehow or maybe just go away. Opinions? (This is the language that
>> you get if you delete your prefs and start up drscheem; there isn't
>> another simple way to get there).
> I vote for retiring it...

Why?  Have our students suddenly achieved mastery over #lang?  That
was the problem, right?  I don't see how our new language dialog
solves that.


Posted on the dev mailing list.