Editing of Spec in OFFLINE