search

metanorma / stepmod-utils

Tools for working on the STEPmod repository.
1 stars 0 forks source link

Cross-references with `expg` string are normal xrefs, not EXPRESS links #265

Closed ronaldtse closed 1 month ago

ronaldtse commented 1 month ago

Fixes #264