Feature #835
Make Mario's new code threadsafe
Description
Adapt Mario's new code so that it is threadsafe (when CoCoA_THEADSAFE
is set).
Related issues
History
#1 Updated by John Abbott over 8 years ago
See the examples in issue #784; I think this should cover many cases.