make-dictionary and DTDs; additional functions John Cowan (06 Aug 2021 02:13 UTC)

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

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

Re: make-dictionary and DTDs; additional functions Wolfgang Corcoran-Mathe (18 Aug 2021 16:12 UTC)

Re: make-dictionary and DTDs; additional functions Marc Nieper-Wißkirchen (18 Aug 2021 16:30 UTC)

Re: make-dictionary and DTDs; additional functions Wolfgang Corcoran-Mathe (18 Aug 2021 17:37 UTC)