Updated Keel project