metaborg/runtime-libraries — pull request #12 by Virtlink (2014-06-20 09:11:21+00:00)
Title: HTML escaped property values in hover tooltip.

Fixes [Spoofax#871](http://yellowgrass.org/issue/Spoofax/871) for the NaBL properties tooltip.