[Gcl-devel] fasloading on Mac OS X

[Aurelien Chanudet]

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 ?

Thanks,
Aurelien