KWARC/FoMID Issues
Deprecating signature modules
Updated 6XHTML/LaTeXML/FLOMDoc
Updated 12Symbolic notations
Updated 1Multi-sentence statements
Updated(commutative) diagrams
UpdatedTranslation / Alignments
Updated 3Semantic Search
UpdatedLibrary structuring
Updated 7Guided tours
Updated 4verbalizations with arguments
Updated 1Realms
Updated(Algebraic) structures
UpdatedChanging notations
Updated