This file is indexed.

/usr/share/mozart/doc/demo/bounce.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>7 Bounce</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="trucks.html#chapter.trucks">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="lift.html#chapter.lift">Next &gt;&gt;</A></TD></TR></TABLE><DIV id="chapter.bounce"><H1><A name="chapter.bounce">7 Bounce</A></H1><H3 class="authors"><A href="http://www.ps.uni-sb.de/~mehl/">Michael&nbsp;Mehl</A>, <A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A>, <A href="http://www.ps.uni-sb.de/~smolka/">Gert&nbsp;Smolka</A> and&nbsp;<A href="http://www.ps.uni-sb.de/~wuertz/">Jörg&nbsp;Würtz</A></H3><P> </P><P class="linkmenu">[ <A href="applets/Bounce.oza">Start Applet</A>  | <A href="../install/node14.html#appendix.applets">How to enable Applets</A>  ]</P><P> </P><DIV class="unnumbered"><H2><A name="label2">Creating a Ball</A></H2><P> Click the left mouse button to create a ball at the current mouse pointer position. </P></DIV><DIV class="unnumbered"><H2><A name="label3">Deleting a Ball</A></H2><P> Click the right mouse button to delete the ball that has been created last. </P></DIV><DIV class="unnumbered" id="section.bounce.implementation"><H2><A name="section.bounce.implementation">Implementation</A></H2><HR><UL class="toc"><LI><A href="node24.html#code.bounce">Root functor: <CODE>Bounce.oz</CODE></A></LI></UL></DIV></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="trucks.html#chapter.trucks">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="lift.html#chapter.lift">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>