Added properties view header
Added properties view header
oskarvanrest/metaborg.github.io,codeZeilen/metaborg.github.io,codeZeilen/metaborg.github.io,codeZeilen/metaborg.github.io,oskarvanrest/metaborg.github.io,oskarvanrest/metaborg.github.io