□ □
[□] □
(□ | □) □
If you want users to know about contributions or revisions inbetween ACL2 releases , feel free to email the acl2 mailing list or acl2-help mailing list ; and , we can put up a link to your page on the " Recent changes to this page " link of the ACL2 home page . Even if you do n't have a full time connection you can build and test your pages on your Amiga .