/usr/share/mozart/doc/demo/toc.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>Table of Contents</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="queens.html#chapter.queens">Next >></A></TD></TR></TABLE><H1><A name="label1">Table of Contents</A></H1><HR><UL class="toc"><UL class="toc"><LI><A href="toc.html#label1">Table of Contents</A></LI></UL><LI><A href="index.html#part.constraints">Part I: Constraint Applications</A><UL class="toc"><LI><A href="queens.html#chapter.queens">1 Animated Queens</A><UL class="toc"><LI><A href="queens.html#section.queens.implementation">Implementation</A><UL class="toc"><LI><A href="node1.html#code.queens">Root functor: <CODE>AnimateQueens.oz</CODE></A></LI></UL></LI></UL></LI><LI><A href="jobshop.html#chapter.jobshop">2 Job-Shop Scheduling</A><UL class="toc"><LI><A href="jobshop.html#section.jobshop.edit">Edit Jobs</A></LI><LI><A href="jobshop.html#section.jobshop.schedule">Schedule Jobs</A></LI><LI><A href="jobshop.html#section.jobshop.implementation">Implementation</A><UL class="toc"><LI><A href="node2.html#code.jobshop.main">Root functor: <CODE>Main.oz</CODE></A></LI><LI><A href="node3.html#code.jobshop.compiler">Compiler to create scheduling scripts: <CODE>Compiler.oz</CODE></A></LI><LI><A href="node4.html#code.jobshop.examples">Example problems: <CODE>Examples.oz</CODE></A></LI><LI><A href="node5.html#code.jobshop.scheduler">Scheduling interface: <CODE>Scheduler.oz</CODE></A></LI><LI><A href="node6.html#code.jobshop.taskboard">Widget to display and edit tasks: <CODE>TaskBoard.oz</CODE></A></LI><LI><A href="node7.html#code.jobshop.tools">Graphical tools to manipulate tasks: <CODE>Tools.oz</CODE></A></LI><LI><A href="node8.html#code.jobshop.configure">Predefinied values: <CODE>Configure.oz</CODE></A></LI></UL></LI></UL></LI><LI><A href="college.html#chapter.college">3 College Timetabling</A><UL class="toc"><LI><A href="college.html#section.college.implementation">Implementation</A><UL class="toc"><LI><A href="node9.html#code.college.problem">Problem description: <CODE>KathHochWS9596.ozt</CODE></A></LI><LI><A href="node10.html#code.college.main">Root functor: <CODE>Main.oz</CODE></A></LI><LI><A href="node11.html#code.college.common">Common definitions: <CODE>Common.oz</CODE></A></LI><LI><A href="node12.html#code.college.controller">Controlling the operation: <CODE>Controller.oz</CODE></A></LI><LI><A href="node13.html#code.college.scheduler">The actual scheduler: <CODE>Scheduler.oz</CODE></A></LI><LI><A href="node14.html#code.college.graphics">Graphical interface: <CODE>Graphics.oz</CODE></A></LI><LI><A href="node15.html#code.college.latex">The interface to LaTeX: <CODE>Latex.oz</CODE></A></LI></UL></LI></UL></LI><LI><A href="cutting.html#chapter.cutting">4 Cutting Glass Plates</A><UL class="toc"><LI><A href="cutting.html#section.cutting.problem">The Problem</A></LI><LI><A href="cutting.html#section.cutting.edit">Edit</A></LI><LI><A href="cutting.html#section.cutting.compute">Compute</A></LI><LI><A href="cutting.html#section.cutting.implementation">Implementation</A><UL class="toc"><LI><A href="node16.html#code.cutting.main">Root functor: <CODE>Main.oz</CODE></A></LI><LI><A href="node17.html#code.cutting.script">Constraint script: <CODE>Script.oz</CODE></A></LI><LI><A href="node18.html#code.cutting.edit">Graphical interface for editing: <CODE>Edit.oz</CODE></A></LI><LI><A href="node19.html#code.cutting.compute">Graphical interface for computing solutions: <CODE>Compute.oz</CODE></A></LI><LI><A href="node20.html#code.cutting.configure">Default parameters: <CODE>Configure.oz</CODE></A></LI></UL></LI></UL></LI></UL></LI><LI><A href="index.html#part.concurrent">Part II: Multi Agent and Concurrent Applications</A><UL class="toc"><LI><A href="flowers.html#chapter.flowers">5 Flowers</A><UL class="toc"><LI><A href="flowers.html#section.flowers.implementation">Implementation</A><UL class="toc"><LI><A href="node21.html#code.flowers">Two flowers: <CODE>Flowers.oz</CODE></A></LI><LI><A href="node22.html#code.flowers3d">A single 3D flower: <CODE>Flowers3d.oz</CODE></A></LI></UL></LI></UL></LI><LI><A href="trucks.html#chapter.trucks">6 Truck Race</A><UL class="toc"><LI><A href="trucks.html#section.trucks.implementation">Implementation</A><UL class="toc"><LI><A href="node23.html#code.trucks">Root functor: <CODE>Trucks.oz</CODE></A></LI></UL></LI></UL></LI><LI><A href="bounce.html#chapter.bounce">7 Bounce</A><UL class="toc"><LI><A href="bounce.html#label2">Creating a Ball</A></LI><LI><A href="bounce.html#label3">Deleting a Ball</A></LI><LI><A href="bounce.html#section.bounce.implementation">Implementation</A><UL class="toc"><LI><A href="node24.html#code.bounce">Root functor: <CODE>Bounce.oz</CODE></A></LI></UL></LI></UL></LI><LI><A href="lift.html#chapter.lift">8 Lift</A><UL class="toc"><LI><A href="lift.html#section.lift.interactive">Interactive Mode</A></LI><LI><A href="lift.html#section.lift.automatic">Automatic Mode</A></LI><LI><A href="lift.html#section.lift.implementation">Implementation</A><UL class="toc"><LI><A href="node25.html#code.lift">Root functor: <CODE>Lift.oz</CODE></A></LI></UL></LI></UL></LI><LI><A href="transportation.html#chapter.transportation">9 Transportation</A><UL class="toc"><LI><A href="transportation.html#label4">9.1 The Idea</A></LI><LI><A href="transportation.html#label5">9.2 Usage</A><UL class="toc"><LI><A href="transportation.html#label6">The Transportation Menu</A></LI><LI><A href="transportation.html#label7">The Configure Menu</A></LI><LI><A href="transportation.html#label8">The Random Menu</A></LI><LI><A href="transportation.html#label9">The Windows Menu</A></LI><LI><A href="transportation.html#label10">Entering Tasks Manually</A></LI></UL></LI><LI><A href="transportation.html#section.transportation.implementation">Implementation</A><UL class="toc"><LI><A href="node26.html#code.transportation.main">Root functor: <CODE>Main.oz</CODE></A></LI><LI><A href="node27.html#code.transportation.agentabstractions">Programming abstractions for agents: <CODE>AgentAbstractions.oz</CODE></A></LI><LI><A href="node28.html#code.transportation.agents">Agent definitions: <CODE>Agents.oz</CODE></A></LI><LI><A href="node29.html#code.transportation.country">Distance and route computation: <CODE>Country.oz</CODE></A></LI><LI><A href="node30.html#code.transportation.configure">Predefined default values: <CODE>Configure.oz</CODE></A></LI><LI><A href="node31.html#code.transportation.dialogs">User dialog widgets: <CODE>Dialogs.oz</CODE></A></LI><LI><A href="node32.html#code.transportation.germany">Small map of Germany: <CODE>Germany.oz</CODE></A></LI><LI><A href="node33.html#code.transportation.plan">Problem solver for computing plans: <CODE>Plan.oz</CODE></A></LI><LI><A href="node34.html#code.transportation.randomizer">Random generation of transportation tasks: <CODE>Randomizer.oz</CODE></A></LI><LI><A href="node35.html#code.transportation.widgets">Support widgets: <CODE>Widgets.oz</CODE></A></LI></UL></LI></UL></LI></UL></LI><LI><A href="index.html#part.distributed">Part III: Distributed Applications</A><UL class="toc"><LI><A href="board.html#chapter.board">10 Drawing Board</A><UL class="toc"><LI><A href="board.html#label11">Drawing</A></LI><LI><A href="board.html#label12">Mailing Applets</A></LI><LI><A href="board.html#label13">Saving Applets</A></LI><LI><A href="board.html#section.board.implementation">Implementation</A><UL class="toc"><LI><A href="node36.html#code.board">Root functor: <CODE>Board.oz</CODE></A></LI></UL></LI></UL></LI><LI><A href="chat.html#chapter.chat">11 Chat Server and Client</A><UL class="toc"><LI><A href="chat.html#label14">Starting a Chat Server</A></LI><LI><A href="chat.html#label15">Starting a Client</A></LI></UL></LI><LI><A href="mim.html#chapter.mim">12 Mozart Instant Messenger</A><UL class="toc"><LI><A href="mim.html#label16">Starting a Client</A></LI></UL></LI></UL></LI><LI><A href="index.html#part.miscellaneous">Part IV: Miscellaneous Applications</A><UL class="toc"><LI><A href="dict-client.html#chapter.dict-client">13 A Client for the DICT Protocol</A><UL class="toc"><LI><A href="dict-client.html#label17">The ``Server'' Menu</A></LI><LI><A href="dict-client.html#label18">The ``Database'' Menu</A></LI><LI><A href="dict-client.html#label19">Implementation</A><UL class="toc"><LI><A href="node37.html#code.dict-client.netdictionary">Network Connection: <CODE>NetDictionary.oz</CODE></A></LI><LI><A href="node38.html#code.dict-client.tkdictionary">Graphical Front-End: <CODE>TkDictionary.oz</CODE></A></LI><LI><A href="node39.html#code.dict-client.main">Command-Line Application: <CODE>Main.oz</CODE></A></LI></UL></LI></UL></LI><LI><A href="bib.html#label20">Bibliography</A></LI></UL></LI></UL><HR><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="queens.html#chapter.queens">Next >></A></TD></TR></TABLE><HR><ADDRESS><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|