COED: a cooperative editor