Re: make-dictionary and DTDs; additional functions Marc Nieper-Wißkirchen 15 Aug 2021 20:25 UTC