/usr/share/mozart/doc/getstarted.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 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html>
<head>
<title>Getting Started: Documentation of the Mozart Programming System</title>
<link rel=stylesheet type="text/css" href="ozdoc.css">
<style>
p { font-size:10pt; margin-top:0pt; }
h2 { text-align:center; font-size:14pt; color:steelblue;}
a.section { font-weight:bold; color:#FF9933; }
</style>
</head>
<body>
<h1 class=title>Mozart Documentation: Getting Started</h1>
<h2><a name=system>System</a></h2>
<dl>
<dt><a href="install/index.html" class=section name=install>Installation Manual</a></dt>
<dd><p>guides you through the steps required to install the Mozart
distribution on your computer. We make available binary, RPM and
source distributions. Sources are also available through our
anonymous CVS server.</p>
<dt><a href="demo/index.html" class=section name=demo>Mozart Demo Applications</a></dt>
<dd><p>gives you a guided tour of a collection of interactive
Oz applications.
Each application can be invoked directly from the browser simply by
clicking. This requires that the Mozart system first be installed on
your computer and <a href="install/index.html">Installation Manual</a>
explains how to do this.</p>
<dt><a href="changes/index.html" class=section name=changes>Changes</a></dt>
<dd><p>documents what has changed between DFKI Oz (Oz 2.0) and
Mozart (Oz 3.0).</p>
</dl>
<h2><a name=documentation>Documentation</a></h2>
<dl>
<dt><a href="howtoread/index.html" class=section name=howtoread
>How To Read The Documentation</a></dt>
<dd><p>explains the basic conventions used in structuring,
organizing, and presenting the documentation. You must read this
first to learn how to navigate the Mozart documentation set and interpret
what you see.</p>
</dl>
</body>
</html>
|