Good. I think that's been true all along. Thanks for confirming!
On 10/24/18 5:35 PM, Fabrice Leal wrote:
@adamChlipalaI can confirm in my end (urweb master) I get a type error when i try to use onload on a <div>
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur