Add a changed flag to properties, which can be used by front ends to check for changed symbols/properties.
Attach a file by drag & drop or click to upload
