@AdamChlipala
At the time I implemented an onload attribute for <div> on basis.ur and
only later found out if was for no good on html/js land: the only onload
that gets triggered is the one defined on <body>, setting onload for any
other child tag has no "side effects"; so I scrapped that.
Sorry for the vagueness :)
I did end up using <active code={...} /> and that worked for me
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
