*
* This file is part of HELM, an Hypertextual, Electronic
* Library of Mathematics, developed at the Computer Science
*
* This file is part of HELM, an Hypertextual, Electronic
* Library of Mathematics, developed at the Computer Science
| Exception (name, value) ->
sprintf "<exception name=\"%s\">%s</exception>" name value
| Register_client (id, url) ->
| Exception (name, value) ->
sprintf "<exception name=\"%s\">%s</exception>" name value
| Register_client (id, url) ->
| Thanks (id, musing_id) ->
sprintf "<thanks id=\"%s\" musing_id=\"%s\" />" id musing_id
| Thanks (id, musing_id) ->
sprintf "<thanks id=\"%s\" musing_id=\"%s\" />" id musing_id