Open kohlhase opened 9 years ago
Since I am most remote to the current project progress, let me start with stating some obvious facts, and see if I am still up to date:
This all sounds as an easy task for iMMT, but let's see if you are still using this setup, and whether Michael had more complex workflows in mind.
Btw, another obvious fact is that this notification system would be most intuitive to realize as a part of the MathHub Drupal installation, and I am instinctively thinking of "can we edit SMGloM entries online by now?", which is also something I haven't been keeping track of.
For the sake of completeness: The SMGloM bindings for LaTeXML can also evolve to recognize these discrepancies and provide conversion-time error messages, if you prefer a pre-MMT level of quality control.
The multilingual nature of the SMGloM poses a special management problem that MathHub should support:
all
the same) symbols and present the different notations (though some might the language-specific).E.g. when a new synonym is added to a language binding, or a new notation to the module signature. If we indeed want to keep things in sync, we need to come up with a system that manages change. Some of this will be through social organization (see the content managment blue note), some will be technical, e.g. a notification system about changes to other components of the module. I want to use this issue to discuss the issue with @jucovschi @m-iancu @dginev @wsperber.