add Revision.equals()