|
| From: | Camm Maguire |
| Subject: | [Gcl-commits] gcl/cmpnew gcl_cmpfun.lsp |
| Date: | Wed, 10 Aug 2005 09:52:24 -0400 |
CVSROOT: /cvsroot/gcl
Module name: gcl
Branch:
Changes by: Camm Maguire <address@hidden> 05/08/10 13:52:24
Modified files:
cmpnew : gcl_cmpfun.lsp
Log message:
Fix cons-type-length bug blocking acl2
CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/gcl/gcl/cmpnew/gcl_cmpfun.lsp.diff?tr1=1.11&tr2=1.12&r1=text&r2=text
| [Prev in Thread] | Current Thread | [Next in Thread] |