Re: make-dictionary and DTDs; additional functions Marc Nieper-Wißkirchen 13 Aug 2021 10:36 UTC