use the definitions of the %* and get the generated OMDoc right.
Where is the documentation of the %*
codes? We should make sure that we cover all of them in a reasonable way when we generate the OMDoc.
Where is the documentation of the %*
codes? We should make sure that we cover all of them in a reasonable way when we generate the OMDoc.