On Sat, May 21, 2005 at 03:58:23PM +0200, Falk Hueffner wrote: > it seems that acl2 now builds on hppa. Can we close this bug?
yes. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
On Sat, May 21, 2005 at 03:58:23PM +0200, Falk Hueffner wrote: > it seems that acl2 now builds on hppa. Can we close this bug?
yes. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]