Annotations now available in all Metanorma outputs

Author’s picture Ronald Tse Author’s picture Alexander Dyuzhev on 21 Aug 2022