http://hg.impredicative.com/urweb/atom-log/tip/tests/attrMangle.urpUr/Web: tests/attrMangle.urp history2012-12-27T15:34:11-05:00Add some name-mangling rules to allow XML attribute 'name' and attributes with dasheshttp://hg.impredicative.com/urweb/#changeset-146ec8e90063b93e7658b49d770b0c35a9696acaAdam Chlipalaadam@chlipala.net2012-12-27T15:34:11-05:002012-12-27T15:34:11-05:00
changeset
146ec8e90063
branch
bookmark
tag
user
Adam Chlipala <adam@chlipala.net>
description
Add some name-mangling rules to allow XML attribute 'name' and attributes with dashes