[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Patch for TYPEP

From: Paul F. Dietz
Subject: Re: [Gcl-devel] Patch for TYPEP
Date: Wed, 26 Feb 2003 06:47:55 -0600
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2) Gecko/20021126

I wrote:

The bug is in lsp/predlib.lsp, introduced in version 1.5.
Here's a patch (not tested):

I've checked in the change for this.  I didn't test it on Maxima or
ACL2, but I doubt very much it would have broken anything there.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]