This file is indexed.

/usr/share/mozart/doc/op/index.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>Open Programming in Mozart</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><P class="margin"><A href="../index.html">Top</A><BR><A href="http://www.mozart-oz.org/download/view.cgi?action=print&class=tutorial&name=OpenProgramming">Print</A></P><H1 align="center" class="title">Open Programming in Mozart</H1><H2 align="center" class="authors"><A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A></H2><P></P><DIV align="center"><IMG alt="" src="open.gif"></DIV><P></P><BLOCKQUOTE><P>Oz is a concurrent language providing for functional, object-oriented, and constraint programming. This document is intended as a tutorial on how to program open applications for Mozart. </P><P> Open applications need access to the rest of the computational world by exchanging data with it. Mozart provides classes to handle files, sockets, and processes. </P></BLOCKQUOTE><HR><UL class="toc"><LI><A href="toc.html#label1">Table of Contents</A></LI></UL><UL class="toc"><LI><A href="node1.html#chapter.intro">1 Introduction</A></LI></UL><UL class="toc"><LI><A href="node2.html#chapter.data">2 Data Structures</A></LI></UL><UL class="toc"><LI><A href="node5.html#chapter.files">3 Files</A></LI></UL><UL class="toc"><LI><A href="node8.html#chapter.text">4 Input and Output of Text</A></LI></UL><UL class="toc"><LI><A href="node10.html#chapter.sockets">5 Sockets</A></LI></UL><UL class="toc"><LI><A href="node16.html#chapter.pipe">6 Running Processes</A></LI></UL><UL class="toc"><LI><A href="bib.html#label156">Bibliography</A></LI></UL><UL class="toc"><LI><A href="idx.html#label157">Index</A></LI></UL><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>