[Top][All Lists]

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

[Gcl-devel] fasloading on Mac OS X

From: Aurelien Chanudet
Subject: [Gcl-devel] fasloading on Mac OS X
Date: Wed, 27 Aug 2003 00:27:40 +0200

Hi all,

I've written some code to load .o files, save-system, and then find them on re-execution of the image on Mac OS X (that is, I've rewritten fasload for Mac OS X). I've also tried to get the sources for ACL2, but I cannot reach the hosting server. Can the files I'm using be added to the repository ?


reply via email to

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