A collaborative document revision system