On 2020-Apr-05, Jürgen Purtz wrote:
a) Some rearrangements of the sequence of terms to meet alphabetical order.
Thanks, will get this pushed.
b) <glossterm id="linkend-xxx"> --> <glossterm linkend="glossary-xxx"> in
two cases. Or should it be a <firstterm>?
Ah, yeah, those should be linkend.
Term 'relation': A sequence is internally a table with one row - right?
Shall we extend the list of concrete relations by 'sequence'? Or is this
not necessary because 'table' is already there?
Kind regards, Jürgen