This file is indexed.

/usr/share/mozart/doc/ozdoc/node4.html is in mozart-doc 1.4.0-8ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>4 General Principles of the DTD</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node3.html#chapter.bnf">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node5.html#chapter.description">Next &gt;&gt;</A></TD></TR></TABLE><DIV id="chapter.principles"><H1><A name="chapter.principles">4 General Principles of the DTD</A></H1><H2><A name="label10">4.1 Common Attributes</A></H2><P>All elements accept the following attributes: </P><DL><DT><CODE>ID</CODE> </DT><DD><P>A document-wide unique identifier that makes it possible to refer to the element: </P><BLOCKQUOTE class="code"><CODE>&lt;<SPAN class="functionname">P</SPAN>&nbsp;ID=FOO&gt;...&lt;/<SPAN class="functionname">P</SPAN>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;...&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&lt;<SPAN class="functionname">PTR</SPAN>&nbsp;TO=FOO&gt;</CODE></BLOCKQUOTE><P> </P></DD><DT><CODE>CLASS</CODE> </DT><DD><P>a space separated list of arbitrary identifiers that further specify the element. </P><BLOCKQUOTE class="code"><CODE>&lt;<SPAN class="functionname">NOTE</SPAN>&nbsp;CLASS=FOOT&gt;...&lt;/<SPAN class="functionname">NOTE</SPAN>&gt;</CODE></BLOCKQUOTE><P> would serve to indicate a footnote. </P><BLOCKQUOTE class="code"><CODE>&lt;<SPAN class="functionname">FIGURE</SPAN>&nbsp;FLOAT&nbsp;CLASS=PROGRAM&gt;...&lt;/<SPAN class="functionname">FIGURE</SPAN>&gt;</CODE></BLOCKQUOTE><P> would indicate that this floating figure contains a program. </P></DD><DT><CODE>LANG</CODE> </DT><DD><P>a standard 2 character code for a language. It indicates the default language within the scope of the element and is inherited unless explicitly overriden. It serves e.&nbsp;g. to obtain appropriate language dependent services such as hyphenation and quote delimiters. </P><DL><DT><SPAN class="SGML.IDENT">EN</SPAN> </DT><DD><P>english </P></DD><DT><SPAN class="SGML.IDENT">DE</SPAN> </DT><DD><P>german </P></DD><DT><SPAN class="SGML.IDENT">FR</SPAN> </DT><DD><P>french </P></DD></DL><P> </P></DD><DT><CODE>PROGLANG</CODE> </DT><DD><P>this is rather similar to attribute LANG but for programming languages. </P><DL><DT><SPAN class="SGML.IDENT">OZ</SPAN> </DT><DD><P></P></DD><DT><SPAN class="SGML.IDENT">GUMP</SPAN> </DT><DD><P></P></DD><DT><SPAN class="SGML.IDENT">C</SPAN> </DT><DD><P></P></DD><DT><SPAN class="SGML.IDENT">CC</SPAN> </DT><DD><P><SPAN class="PROG.LANG">C++</SPAN> </P></DD><DT><SPAN class="SGML.IDENT">ELISP</SPAN> </DT><DD><P><SPAN class="PROG.LANG">Emacs Lisp</SPAN> </P></DD></DL><P> </P></DD></DL><P> </P><H2><A name="label11">4.2 Display/Inline phrase elements</A></H2><P>Phrase elements are contained in paragraphs. But they can be either inline or displayed, and some can be either. <CODE>NAME</CODE> is always rendered inline. <CODE>MATH</CODE> is usually inline, but can be rendered displayed through the use of the <CODE>DISPLAY</CODE> attribute: </P><BLOCKQUOTE class="code"><CODE>&lt;<SPAN class="functionname">MATH</SPAN>&nbsp;DISPLAY&gt;...&lt;/<SPAN class="functionname">MATH</SPAN>&gt;</CODE></BLOCKQUOTE><P> Lists are usually displayed, but you could request an inline enumeration as follows: </P><BLOCKQUOTE class="code"><CODE>&lt;<SPAN class="functionname">LIST</SPAN>&nbsp;INLINE&nbsp;ENUM&gt;...&lt;/<SPAN class="functionname">LIST</SPAN>&gt;</CODE></BLOCKQUOTE><P> The default of whether to be inline or displayed is whatever makes the most sense for the element. When both are possible, the non default case can be explicitly requested using either <CODE>INLINE</CODE> or <CODE>DISPLAY</CODE>. </P><H2><A name="label12">4.3 External Resources</A></H2><P>some elements have variants whose data comes from an external resource rather than from within the document itself: the name of such an element is obtained by concatenating <CODE>.EXTERN</CODE> to the usual name, e.&nbsp;g.: </P><BLOCKQUOTE class="code"><CODE>&lt;<SPAN class="functionname">PTR.EXTERN</SPAN>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<SPAN class="variablename">TO</SPAN>='...'&gt;<BR>&lt;<SPAN class="functionname">MATH.EXTERN</SPAN>&nbsp;&nbsp;&nbsp;&nbsp;<SPAN class="variablename">TO</SPAN>='...'&gt;<BR>&lt;<SPAN class="functionname">PICTURE.EXTERN</SPAN>&nbsp;<SPAN class="variablename">TO</SPAN>='...'&gt;</CODE></BLOCKQUOTE><P></P><H2><A name="label13">4.4 References</A></H2><P>some elements can make references either to some other element within the document or to some external resource. This is effected through attribute <CODE>TO</CODE> and may be further specified with attribute <CODE>KEY</CODE>. </P><P>For references within the same document <CODE>TO</CODE> should have as value an <CODE>ID</CODE>; for external references, the value is arbitrary, but usually follows a recognizable syntax such as a url. <CODE>KEY</CODE> is arbitrary, its interpretation will depend on the kind of thing which is being referred to.</P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node3.html#chapter.bnf">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node5.html#chapter.description">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys&nbsp;Duchier</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>