|
From: | Matt Kaufmann |
Subject: | Re: [Gcl-devel] Re: gcl/acl2 |
Date: | Tue, 12 Nov 2002 10:52:11 -0600 (CST) |
P.S. I should have mentioned that I think that *default-system-p* etc. are great. Thanks for all your work on this. -- Matt
[Prev in Thread] | Current Thread | [Next in Thread] |