[plt-dev] #lang: the stake in Dracula's heart?

On Mon, Feb 1, 2010 at 1:16 PM, Carl Eastlund <cce at ccs.neu.edu> wrote:
> On Mon, Feb 1, 2010 at 2:05 PM, Robby Findler
> <robby at eecs.northwestern.edu> wrote:
>> On Mon, Feb 1, 2010 at 1:03 PM, Carl Eastlund <cce at ccs.neu.edu> wrote:
>>> On Mon, Feb 1, 2010 at 1:02 PM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
>>>> If a file extension is the only way to declare ACL2, then you'd have to
>>>> save a file in DrScheme to use the ACL2 language.
>>>
>>> I am fairly certain that other editors can save files with a ".lisp"
>>> extension, so I don't know what you mean here.
>>
>> He means that unsaved files won't know what language they are supposed
>> to be in, I expect.
>
> Oh, unsaved files.  I see.  What about just opening the Language menu
> and selecting ACL2?

Yes, if it is there, that would be fine.

I think we're all on the same page now. FWIW.

Robby