@adamChlipala
I can confirm in my end (urweb master) I get a type error when i try to use onload on a <div> -- --- Fabrice Leal
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
