/usr/share/mozart/doc/faq/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>The Mozart FAQ</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><P class="margin"><A href="../index.html">Top</A></P><H1 align="center" class="title">The Mozart FAQ</H1><H2 align="center" class="authors"><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A></H2><HR><UL class="toc"><LI><A href="node1.html#chapter.general.info">1 General Information</A><UL class="toc"><LI><A href="node1.html#label1">1.1 What is Mozart?</A></LI><LI><A href="node1.html#label2">1.2 What is Oz?</A></LI><LI><A href="node1.html#label3">1.3 Why is it called Oz (resp. Mozart)?</A></LI><LI><A href="node1.html#label4">1.4 Is there a WWW page for Mozart?</A></LI><LI><A href="node1.html#get.doc">1.5 How do I get documentation on Mozart?</A></LI><LI><A href="node1.html#label5">1.6 Is the documentation available on the WWW</A></LI><LI><A href="node1.html#label6">1.7 How to I download and install the system?</A></LI><LI><A href="node1.html#label7">1.8 What platforms are supported?</A></LI><LI><A href="node1.html#label8">1.9 Are there newgroups or mailing-lists devoted to Mozart?</A></LI><LI><A href="node1.html#label9">1.10 Is there a CVS server for Mozart?</A></LI><LI><A href="node1.html#label10">1.11 Are there licensing or copyright restrictions on Mozart?</A></LI><LI><A href="node1.html#label11">1.12 What is Mozart good for?</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node2.html#chapter.programming">2 Programming with Mozart</A><UL class="toc"><LI><A href="node2.html#label12">2.1 Is there a source code level debugger with breakpoints, etc?</A></LI><LI><A href="node2.html#label13">2.2 What GUI toolkits are available?</A></LI><LI><A href="node2.html#label14">2.3 Can modules mutually import each other?</A></LI><LI><A href="node2.html#label15">2.4 Are there database interfaces?</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node3.html#chapter.language">3 Language and design issues</A><UL class="toc"><LI><A href="node3.html#label16">3.1 Why is the syntax so weird?</A></LI><LI><A href="node3.html#label17">3.2 Does Oz have garbage collection?</A></LI><LI><A href="node3.html#label18">3.3 What is constraint programming?</A></LI><LI><A href="node3.html#label19">3.4 Can I also have state?</A></LI><LI><A href="node3.html#label20">3.5 What is multi-paradigm programming?</A></LI><LI><A href="node3.html#label21">3.6 Does Oz support object-oriented programming?</A></LI><LI><A href="node3.html#label22">3.7 Does Oz support functional programming?</A></LI><LI><A href="node3.html#label23">3.8 Does Oz support logic programming?</A></LI><LI><A href="node3.html#label24">3.9 Does Oz support modular programming?</A></LI><LI><A href="node3.html#label25">3.10 Does Oz support concurrent programming?</A></LI><LI><A href="node3.html#label26">3.11 Does Oz support distributed programming?</A></LI><LI><A href="node3.html#label27">3.12 Can I do backtracking?</A></LI><LI><A href="node3.html#label28">3.13 What is a computation space?</A></LI><LI><A href="node3.html#label29">3.14 How do I program a search problem?</A></LI><LI><A href="node3.html#label30">3.15 Why is <CODE><SPAN class="keyword">[]</SPAN></CODE> not the empty list</A></LI><LI><A href="node3.html#label31">3.16 What is the meaning of the <CODE>$</CODE> marker</A></LI><LI><A href="node3.html#label32">3.17 What is the meaning of the <CODE><SPAN class="keyword">,</SPAN></CODE> marker</A></LI><LI><A href="node3.html#label33">3.18 What datatypes does Oz provide?</A></LI><LI><A href="node3.html#label34">3.19 What is a basic constraint?</A></LI><LI><A href="node3.html#label35">3.20 What is a non-basic constraint?</A></LI><LI><A href="node3.html#label36">3.21 What is a propagator?</A></LI></UL></LI></UL><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|