Extend Rodin Structured Editor (How to extend Rodin Tutorial)