/usr/share/mozart/doc/notation/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="node1.html#chapter.intro">Next >></A></TD></TR></TABLE><H1><A name="label1">Table of Contents</A></H1><HR><UL class="toc"><LI><A href="toc.html#label1">Table of Contents</A></LI><LI><A href="node1.html#chapter.intro">1 Introduction</A><UL class="toc"><LI><A href="node1.html#label2">1.1 Fonts</A></LI><LI><A href="node1.html#label3">1.2 Regular Expressions and Context-Free Grammars</A></LI></UL></LI><LI><A href="node2.html#chapter.lexical">2 Lexical Syntax</A><UL class="toc"><LI><A href="node2.html#label4">2.1 Character Class Definitions</A></LI><LI><A href="node2.html#label5">2.2 Spaces and Comments</A></LI><LI><A href="node2.html#label6">2.3 Keywords</A></LI><LI><A href="node2.html#label7">2.4 Variables</A></LI><LI><A href="node2.html#label8">2.5 Atoms</A></LI><LI><A href="node2.html#label9">2.6 Labels</A></LI><LI><A href="node2.html#label10">2.7 Integers</A></LI><LI><A href="node2.html#label11">2.8 Floats</A></LI><LI><A href="node2.html#label12">2.9 Strings</A></LI><LI><A href="node2.html#label13">2.10 Characters</A></LI></UL></LI><LI><A href="node3.html#chapter.context-free">3 Context-Free Syntax</A><UL class="toc"><LI><A href="node3.html#label14">3.1 The Base Language</A></LI><LI><A href="node3.html#label15">3.2 Constraint Extensions and Combinators</A></LI><LI><A href="node3.html#label16">3.3 Class Extensions</A></LI><LI><A href="node3.html#label17">3.4 Functor Extensions</A></LI><LI><A href="node3.html#section.context-free.operators">3.5 Operator Associativity and Precedence</A></LI></UL></LI><LI><A href="node4.html#chapter.core">4 Core Programs</A><UL class="toc"><LI><A href="node4.html#label18">4.1 The Base Language</A></LI><LI><A href="node4.html#label19">4.2 Class Extensions</A></LI></UL></LI><LI><A href="node5.html#chapter.translation">5 Translation of Oz Programs to Oz Core Programs</A><UL class="toc"><LI><A href="node6.html#section.translation.base">5.1 The Base Language</A><UL class="toc"><LI><A href="node6.html#label20">Declarations</A></LI><LI><A href="node6.html#label21">Grouping</A></LI><LI><A href="node6.html#label22">Procedure Definitions</A></LI><LI><A href="node6.html#label23">Applications</A></LI><LI><A href="node6.html#label24">Boolean and Pattern-Matching Conditionals</A></LI><LI><A href="node6.html#label25">Locks</A></LI><LI><A href="node6.html#label26">Threads</A></LI><LI><A href="node6.html#label27">Exception Handling</A></LI><LI><A href="node6.html#label28">Exception Raising</A></LI><LI><A href="node6.html#label29">Equations</A></LI><LI><A href="node6.html#label30">Operators</A></LI><LI><A href="node6.html#label31">Records</A></LI><LI><A href="node6.html#label32">Uniform State</A></LI><LI><A href="node6.html#label33">Wildcard</A></LI><LI><A href="node6.html#label34">Named Constants</A></LI></UL></LI><LI><A href="node7.html#section.translation.constraints">5.2 Constraint Extensions and Combinators</A><UL class="toc"><LI><A href="node7.html#label35">Operators</A></LI><LI><A href="node7.html#label36">Failure</A></LI><LI><A href="node7.html#label37">Combinators</A></LI></UL></LI><LI><A href="node8.html#section.translation.classes">5.3 Class Extensions</A><UL class="toc"><LI><A href="node8.html#label38">Classes</A></LI><LI><A href="node8.html#label39">Method Names</A></LI><LI><A href="node8.html#label40">Locks</A></LI><LI><A href="node8.html#label41">Operators</A></LI></UL></LI><LI><A href="node9.html#section.translation.functors">5.4 Functor Extensions</A></LI></UL></LI><LI><A href="bib.html#label42">Bibliography</A></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="node1.html#chapter.intro">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.iscs.nus.edu.sg/~henz">Martin Henz</A> and <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|