diff options
| author | Hans Hagen <pragma@wxs.nl> | 2003-08-08 00:00:00 +0200 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2003-08-08 00:00:00 +0200 |
| commit | 3f9c44091f54eb858cfbb71b6346445e606b8687 (patch) | |
| tree | 9e30c9fe11ef8906f5c8717a8c42c9fb70ee40c1 /tex/context/base/xtag-ini.tex | |
| parent | 91f5bdb707b063e6e7acc31073db4cc17bd66593 (diff) | |
| download | context-3f9c44091f54eb858cfbb71b6346445e606b8687.tar.gz | |
stable 2003.08.08
Diffstat (limited to 'tex/context/base/xtag-ini.tex')
| -rw-r--r-- | tex/context/base/xtag-ini.tex | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tex/context/base/xtag-ini.tex b/tex/context/base/xtag-ini.tex index 5391cb245..d275fc986 100644 --- a/tex/context/base/xtag-ini.tex +++ b/tex/context/base/xtag-ini.tex @@ -123,6 +123,13 @@ \protect +%D Formally an \XML\ file starts with an unique sequence +%D \type {<?xml}, but in most of the unilities that come with +%D \CONTEXT\ we will be more tolerant, and gobble preceding +%D spaces. + +\def\XMLbanner#1{\string<\string ?xml version='1.0' #1\string ?\string>} + %D We will be dealing with elements, which means that we have %D to take care of \type {<this>} and \type {</that>}, but %D also with \type {<such/>} and \type {<so />}. In some cases |