/usr/share/mozart/doc/ozdoc/node1.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>1 Introduction</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="index.html">- Up -</A></TD><TD><A href="node2.html#chapter.docstruct">Next >></A></TD></TR></TABLE><DIV id="chapter.intro"><H1><A name="chapter.intro">1 Introduction</A></H1><P>The Oz Documentation DTD provides a means to markup technical documentation so that it is easy to convert it to alternative publication formats such as LaTeX and HTML.</P><P>A second advantage of declarative markup is that extra value can be automatically added. For example, code fragments can be automatically highlighted according to the programming language used, text can be automatically hyphenated according to the natural language in effect, cross-references, index entries, and hyperlinks can be automatically introduced.</P><H2><A name="label1">1.1 Introduction to SGML</A></H2><P>You can think of an SGML document as a tree of nested elements. SGML itself is simply a language for creating document grammars; such a grammar is called a DTD: a Document Type Definition. It defines both an abstract syntax, consisting of elements, and a concrete syntax consisting of tags.</P><P>Thus <CODE><<SPAN class="functionname">AUTHOR</SPAN>>...</<SPAN class="functionname">AUTHOR</SPAN>></CODE> is the concrete syntax for the scope of an <SPAN class="TAG">AUTHOR</SPAN> element.</P><H2><A name="label2">1.2 Relationship to HTML</A></H2><P>HTML is an SGML application: it uses SGML to define a DTD, i.e. an abstract and a concrete syntax for hypertext documents.</P><P>The Oz Documentation DTD is also an SGML application, for the same reasons. It defines an abstract and a concrete syntax for Oz documents.</P><H2><A name="label3">1.3 Notational Tricks</A></H2><P>The Oz Documentation DTD, supports the following abbreviations for tags: </P><BLOCKQUOTE class="code"><CODE> <<SPAN class="functionname">TITLE</SPAN>>Kinded Variables</<SPAN class="functionname">TITLE</SPAN>><BR> </CODE></BLOCKQUOTE><P> may be written </P><BLOCKQUOTE class="code"><CODE> <<SPAN class="functionname">TITLE</SPAN>/Kinded Variables/<BR> </CODE></BLOCKQUOTE><P></P><P>This abbreviation is supported for all elements. The restriction is that the text occurring between the 2 slashes cannot itself contain a slash in its non-markup content. However, elements can be nested within, even those using this form of abbreviation: </P><BLOCKQUOTE class="code"><CODE> <<SPAN class="functionname">TITLE</SPAN>/one <<SPAN class="functionname">Q</SPAN>/two/ three <<SPAN class="functionname">Q</SPAN>>four</<SPAN class="functionname">Q</SPAN>> five/<BR> </CODE></BLOCKQUOTE><P> is equivalent to </P><BLOCKQUOTE class="code"><CODE> <<SPAN class="functionname">TITLE</SPAN>>one <<SPAN class="functionname">Q</SPAN>>two</<SPAN class="functionname">Q</SPAN>> three <<SPAN class="functionname">Q</SPAN>>four</<SPAN class="functionname">Q</SPAN>> five</<SPAN class="functionname">TITLE</SPAN>><BR> </CODE></BLOCKQUOTE><P> </P><H2><A name="label4">1.4 Omitting Tags</A></H2><P>In the Oz Documentation DTD, end tags of sectioning elements such as <SPAN class="name">CHAPTER</SPAN> and <SPAN class="name">P</SPAN> can be omitted. Ditto for <SPAN class="name">ITEM</SPAN> and some other few elements. Phrase elements however require an end tag.</P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="index.html">- Up -</A></TD><TD><A href="node2.html#chapter.docstruct">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|