[Ur] Rendering SVG

Sat Dec 24 13:46:27 EST 2016

Hello,

What would be the syntax for rendering SVG in urweb? I did a test using:

fun main () = return <xml>
  <head>
    <title>Pattern Maker</title>
  </head>

  <body>
      <svg height="210" width="500">
        <line x1="0" y1="0" x2="200" y2="200"
style="stroke:rgb(255,0,0);stroke-width:2" />
      </svg>
  </body>

but this doesn't seem to work.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20161224/26a392ad/attachment.html>