acl2s-manual/
