added optional storage of constructor names and datatype names while serializing to JSON. Wired this through the different webservers as well#1862

Merged

jurgenvinju merged 12 commits intomainfrom json-serialization-improved

Nov 25, 2024

+217-39

Commits on Nov 25, 2024

added synopsis to old JSON IO functions such that they are documented and their deprecation is too
jurgenvinju
committed