Weigelt, Ingo Architectures for an Extensible Text Editor for Rodin. Technical Report. UNSPECIFIED.