|
| From: | root |
| Subject: | [Axiom-developer] Re: [Gcl-devel] address@hidden: magnus and axiom questions] |
| Date: | Thu, 13 Jan 2005 16:16:27 -0500 |
yep. i saw your fix (i'm also on the acl2 mailing list) (note to self: get on gcl-devel). i now have 2 fixes to apply, one to cmpnew/gcl_cmpmain and one to h/386-linux.h t
| [Prev in Thread] | Current Thread | [Next in Thread] |