Mercurial > urweb
diff lib/ur/monad.urs @ 1344:660a2715e2bd
Clarify that you aren't supposed to be able to create new XML tags
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 16 Dec 2010 10:23:37 -0500 |
parents | 0bf73c3e4563 |
children | a613cae954ca |