[slime-devel] edit-definition