Due to the restriction that the editor only accepts labels without whitespaces some models do not parse in the text editor. Informing the user about this problem when opening such a file would be helpful. An alternative is to automatically change labels and replace a whitespace with a '_'. The latter is only reasonable if the user knows what happens (might lose proofs) or when a refactoring is available which preserves proofs.

[wysiib]

No description provided.