Open kohlhase opened 8 years ago
the glossary entry for artihmetics?addition show all the other definitions in the glossary module. It should only show that for addition. I suspect that this is a general bug in the glossary generation.
the glossary entry for artihmetics?addition show all the other definitions in the glossary module. It should only show that for addition. I suspect that this is a general bug in the glossary generation.