![](https://secure.gravatar.com/avatar/46562c7d27388490d62e8d7a5bc960dd.jpg?s=120&d=mm&r=g)
21 Nov
2020
21 Nov
'20
8:55 a.m.
On 11/21/2020 3:07 PM, Wolfgang Schuster wrote:
Hi,
\properties_stop calls itself
\protected\def\properties_stop {\properties_stop \popmacro\properties_stop} I'll remove these modules ... we have better mechanisms and those were kept for soem compatibility (that didn't work so no one used that code anyway).
Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------