[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Re: Chasing down a compiler bug
|
From: |
Camm Maguire |
|
Subject: |
Re: [Gcl-devel] Re: Chasing down a compiler bug |
|
Date: |
24 Feb 2004 21:14:06 -0500 |
|
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings, and thanks again!
Matt Kaufmann <address@hidden> writes:
> Hi, Camm --
>
> You're welcome, and sorry about the defect in my reply; I was imagining that
> you would replace the definition in raw Lisp. The problem is that ACL2
> doesn't
^^^^^^^^
Does this mean that I can just :q at the acl2 rpl and defun whatever
lisp I want?
Take care,
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah