properties view image added
properties view image added
codeZeilen/metaborg.github.io,oskarvanrest/metaborg.github.io,codeZeilen/metaborg.github.io,oskarvanrest/metaborg.github.io,oskarvanrest/metaborg.github.io,codeZeilen/metaborg.github.io