This file is indexed.

/usr/share/mozart/doc/demo/node8.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>Predefinied values: Configure.oz</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="node7.html#code.jobshop.tools">&lt;&lt; Prev</A></TD><TD><A href="jobshop.html">- Up -</A></TD></TR></TABLE><DIV class="unnumbered" id="code.jobshop.configure"><H3><A name="code.jobshop.configure">Predefinied values: <CODE>Configure.oz</CODE></A></H3><P class="margin"><A href="JobShop/Configure.oz">Source File</A></P><P> </P><BLOCKQUOTE><PRE><SPAN class="keyword">functor</SPAN>&nbsp;<BR>&nbsp;<BR><SPAN class="keyword">prepare</SPAN>&nbsp;<BR>&nbsp;&nbsp;&nbsp;MaxRes&nbsp;&nbsp;&nbsp;&nbsp;=&nbsp;10<BR>&nbsp;&nbsp;&nbsp;MaxJobs&nbsp;&nbsp;&nbsp;=&nbsp;10<BR>&nbsp;&nbsp;&nbsp;MaxDur&nbsp;&nbsp;&nbsp;&nbsp;=&nbsp;10<BR>&nbsp;&nbsp;&nbsp;MaxSpan&nbsp;&nbsp;&nbsp;=&nbsp;1000<BR>&nbsp;&nbsp;&nbsp;ResColors&nbsp;=&nbsp;(<SPAN class="string">'deep&nbsp;sky&nbsp;blue'</SPAN>&nbsp;<SPAN class="keyword">#</SPAN>&nbsp;green3&nbsp;<SPAN class="keyword">#</SPAN>&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;tomato2&nbsp;<SPAN class="keyword">#</SPAN>&nbsp;firebrick4&nbsp;<SPAN class="keyword">#</SPAN>&nbsp;wheat3&nbsp;<SPAN class="keyword">#</SPAN>&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;palegoldenrod&nbsp;<SPAN class="keyword">#</SPAN>&nbsp;pink2&nbsp;<SPAN class="keyword">#</SPAN>&nbsp;cyan4&nbsp;<SPAN class="keyword">#</SPAN>&nbsp;darkorange&nbsp;<SPAN class="keyword">#</SPAN>&nbsp;darkorchid)<BR>&nbsp;&nbsp;&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;DurUnit&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=&nbsp;16<BR>&nbsp;&nbsp;&nbsp;DurFrame&nbsp;&nbsp;&nbsp;&nbsp;=&nbsp;4<BR>&nbsp;&nbsp;&nbsp;JobDistance&nbsp;=&nbsp;DurUnit&nbsp;<SPAN class="keyword">+</SPAN>&nbsp;4<BR>&nbsp;<BR><SPAN class="keyword">import</SPAN>&nbsp;<BR>&nbsp;&nbsp;&nbsp;Tk(font)<BR>&nbsp;&nbsp;&nbsp;&nbsp;<BR><SPAN class="keyword">define</SPAN>&nbsp;<BR>&nbsp;<BR>&nbsp;&nbsp;&nbsp;Text&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=&nbsp;{New&nbsp;Tk<SPAN class="keyword">.</SPAN>font&nbsp;tkInit(family:helvetica&nbsp;size:<SPAN class="keyword">~</SPAN>12)}<BR>&nbsp;&nbsp;&nbsp;TextBold&nbsp;&nbsp;=&nbsp;{New&nbsp;Tk<SPAN class="keyword">.</SPAN>font&nbsp;tkInit(family:helvetica&nbsp;size:<SPAN class="keyword">~</SPAN>12&nbsp;weight:bold)}<BR>&nbsp;&nbsp;&nbsp;Type&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=&nbsp;{New&nbsp;Tk<SPAN class="keyword">.</SPAN>font&nbsp;tkInit(family:courier&nbsp;&nbsp;&nbsp;size:<SPAN class="keyword">~</SPAN>12)}<BR>&nbsp;&nbsp;&nbsp;TypeSmall&nbsp;=&nbsp;{New&nbsp;Tk<SPAN class="keyword">.</SPAN>font&nbsp;tkInit(family:courier&nbsp;&nbsp;&nbsp;size:<SPAN class="keyword">~</SPAN>10&nbsp;weight:bold)}<BR>&nbsp;<BR><SPAN class="keyword">export</SPAN>&nbsp;<BR>&nbsp;&nbsp;&nbsp;MaxRes&nbsp;MaxJobs&nbsp;MaxDur&nbsp;MaxSpan<BR>&nbsp;&nbsp;&nbsp;ResColors<BR>&nbsp;&nbsp;&nbsp;DurUnit&nbsp;DurFrame&nbsp;JobDistance<BR>&nbsp;&nbsp;&nbsp;Text&nbsp;TextBold&nbsp;Type&nbsp;TypeSmall<BR>&nbsp;<BR><SPAN class="keyword">end</SPAN>&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;<BR></PRE></BLOCKQUOTE><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node7.html#code.jobshop.tools">&lt;&lt; Prev</A></TD><TD><A href="jobshop.html">- Up -</A></TD></TR></TABLE><HR><ADDRESS><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>