Added general information for properties view
Added general information for properties view
codeZeilen/metaborg.github.io,oskarvanrest/metaborg.github.io,codeZeilen/metaborg.github.io,codeZeilen/metaborg.github.io,oskarvanrest/metaborg.github.io,oskarvanrest/metaborg.github.io