An Editor for X-Machines Markup Language