P.S. I think the "HARD ACL2 ERROR in CBD" problem will go away once we solve the basic problem related to pathname-device, as I described in my preceding email.
_______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel