http://hg.impredicative.com/urweb/atom-log/tip/tests/tagffi.ursUr/Web: tests/tagffi.urs history2012-11-28T16:56:45-05:00Allow any FFI module to declare new HTML tagshttp://hg.impredicative.com/urweb/#changeset-be0c4e2e488abb8620be8260c2b10c1d865c2301Adam Chlipalaadam@chlipala.net2012-11-28T16:56:45-05:002012-11-28T16:56:45-05:00