Mercurial > urweb
changeset 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 | 0a2b630f2463 |
| children | 9e0fa4f6ac93 |
| files | doc/manual.tex |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/doc/manual.tex Thu Dec 16 09:59:05 2010 -0500 +++ b/doc/manual.tex Thu Dec 16 10:23:37 2010 -0500 @@ -1863,7 +1863,7 @@ \hspace{.1in} \Rightarrow \mt{xml} \; \mt{ctx} \; \mt{use_1} \; \mt{bind} \to \mt{xml} \; \mt{ctx} \; (\mt{use_1} \rc \mt{use_2}) \; \mt{bind} \end{array}$$ -We will not list here the different HTML tags and related functions from the standard library. They should be easy enough to understand from the code in \texttt{basis.urs}. The set of tags in the library is not yet claimed to be complete for HTML standards. +We will not list here the different HTML tags and related functions from the standard library. They should be easy enough to understand from the code in \texttt{basis.urs}. The set of tags in the library is not yet claimed to be complete for HTML standards. Also note that there is currently no way for the programmer to add his own tags. It \emph{is} possible to add new tags directly to \texttt{basis.urs}, but this should only be done as a prelude to suggesting a patch to the main distribution. One last useful function is for aborting any page generation, returning some XML as an error message. This function takes the place of some uses of a general exception mechanism. $$\begin{array}{l}