|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 ?
|[Prev in Thread]||Current Thread||[Next in Thread]|