This file is indexed.

/usr/share/mozart/doc/reference.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
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html>
  <head>
    <title>Mozart Documentation: Reference</title>
    <link rel=stylesheet type="text/css" href="ozdoc.css">
<style>
p { font-size:10pt; margin-top:0pt; }
h2 { text-align:center; font-size:14pt; color:steelblue;}
a.section { font-weight:bold; color:#FF9933; }
</style>
  </head>
  <body>
    <h1 class=title>Mozart Documentation: Reference</h1>
    <h2><a name=module>Programming Modules and Libraries</a></h2>
    <dl>
      <dt><a href="base/index.html" class=section name=base>The Oz Base Environment</a></dt>
      <dd><p>documents all built-in modules of the system.  These are part
of the language definition and implement the basic operations on the
values of the Oz universe.  The base modules are typically organized
by type, for example the <code>Record</code> module contains all operations
on record values.</p>

      <dt><a href="system/index.html" class=section name=system>System Modules</a></dt>
      <dd><p>documents all library modules that are delivered with the
system.  They implement higher-level facilities and can be classified
into six thematic collections:
Application,
Constraint,
Distributed,
Open,
System, and
Window Programming.</p>

      <dt><a href="compiler/index.html" class=section name=compiler>The Mozart Compiler</a></dt>
      <dd><p>
      documents the application programmer's interface to the
      compiler.
</p>
      <dt><a href="mozart-stdlib/index.html" class=section name=stdlib>The Mozart Standard
      Library</a></dt>
      <dd><p>The standard library provides a growing collection of additional
      modules that extends the functionality available in Mozart beyond that
      offered by the core modules.
      </p>
    </dl>

    <h2><a name=env>Programming Environment and Tools</a></h2>

    <dl>
      <dt><a href="opi/index.html" class=section name=opi>The Oz Programming
Interface</a></dt>
      <dd><p>aka the OPI, is implemented as an Emacs package which permits
convenient interactive sessions with a running Mozart system.  It also
provides <code>oz-mode</code>, with <code>font-lock</code> support, for editing
files of Oz code.</p>

      <dt><a href="tools/index.html" class=section name=tools>Oz Shell Utilities</a></dt>
      <dd><p>documents the command line tools (compiler, linker, debugger, profiler)
supplied with the system.</p>


      <dt><a href="ozcar/index.html" class=section name=debugger>The Mozart Debugger</a></dt>
      <dd><p>aka
<code>ozcar</code>, supports all the traditional features we have come to
expect from debuggers, such as the ability to single step, to set
break points, to inspect values, etc...  Additionally it fully
supports the debugging of concurrent programs with multiple threads;
their concurrent behaviour can be observed and manipulated. Source
code debugging is made available through the OPI with highlighting of
the current source line.</p>

      <dt><a href="explorer/index.html" class=section name=explorer>Oz Explorer - Visual Constraint Programming Support</a></dt>
      <dd><p>The Explorer is a graphical and interactive tool to
             visualize and analyze search trees. It eases development
             and debugging of constraint based applications.</p> 

      <dt><a href="panel/index.html" class=section name=panel>Oz Panel</a></dt>
      <dd><p>The Panel is a graphical tool to visualize and control
             the most important parameters of a running Mozart system.</p>

      <dt><a href="browser/index.html" class=section name=browser>The Oz Browser</a></dt>
      <dd><p>The Browser is a concurrent output tool for displaying
             information about the values of variables.</p>

      <dt><a href="inspector/index.html" class=section name=inspector>The Oz Inspector</a></dt>
      <dd><p>The Inspector is a graphical and interactive tool for
             displaying and examining Oz values.  It combines fast display
             with powerful interactive in-place manipulation of
             datastructures.</p>

      <dt><a href="profiler/index.html" class=section name=profiler>The Mozart Profiler</a></dt>
      <dd><p>makes it
possible to gather data about procedure calls, time spent, and memory
allocation.  Such information may reveal bottlenecks in your
application which it may be worthwhile to optimize.</p>

      <dt><a href="gump/index.html" class=section name=gump>Gump - A Front-End Generator for Oz</a></dt>
      <dd><p>documents Gump, a front-end generator for Oz. Gump reads
Oz files with embedded scanner or parser definitions and translates
the definitions
to Oz code.</p>

</dl>


    <h2><a name=interface>Interfaces</a></h2>

    <dl>
      <dt><a href="cpiref/index.html" class=section name=cpiref>Constraint
              Extensions Reference</a></dt>
      <dd><p>
         explains abstractions provided to
         extend Mozart constraint capabilities.</p>
      <dt><a href="foreign/index.html" class=section name=cpiref>Interfacing
		to C and C++</a></dt>
      <dd><p>
describes the  simple yet powerful interface to dynamically link
native C and C++ code to Mozart.</p>
    </dl>

    <h2><a name=definition>Definitions</a></h2>

    <dl>
      <dt><a href="notation/index.html" class=section name=notation>The Oz
        	Notation</a></dt> 
      <dd><p>
defines the Oz syntax and how Oz program text
      is transformed into Oz Core programs.  Oz Core is a sublanguage of Oz
      designed to minimize syntactic complexity.</p>
      <dt><a href="loop/index.html" class=section name=loop>Loop Support</a></dt>
      <dd><p>documents the <tt>for</tt> loop syntax.</p>
    </dl>

    <h2><a name=other>Other</a></h2>

    <dl>
      <dt><a href="limitations/index.html" class=section name=contrib>Limitations</a></dt> 
      <dd><p>In general, Mozart has very few system limitations. The few remaining ones are described in this document.</p>

      <dt><a href="contrib/index.html" class=section name=contrib>Contributed
       Libraries</a>, <a href="add-ons/" class=section name=addons>Add-ons</a
       ></dt>
      <dd><p>describes contributed software packages that come with Mozart and
       packages that can be installed as add-ons to Mozart, respectively.
       Currently a regular expression and a gdbm (gnu database) contributed
       library are described.  An example for an available add-on is the
       Mozart GTK binding.</p>

       <dt><a href="http://www.mozart-oz.org/mogul/" class=section name=mogul>MOzart
       Global User Library</a></dt>
       <dd><p>An automated online archive of modules and applications developed by
       the Mozart user community.</p>

      <dt><a href="ozdoc/index.html" class=section name=ozdoc>Oz
       Documentation DTD</a></dt> 
      <dd><p>describes the Oz documentation format.</p>

      <dt><a href="ds_white_paper/index.html" class=section name=ds_white_paper>Oz
       Distribution Subsystem</a></dt> 
      <dd><p>describes how distribution in Mozart is realized and what features Mozart offers to deal with distribution.</p>

    </dl>

  </body>
</html>