Webeditor for structured derivations