most recent changes, diff for acl2