This file is indexed.

/usr/share/mozart/doc/opi/node1.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>1 Introduction</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="node2.html#chapter.start">Next &gt;&gt;</A></TD></TR></TABLE><DIV id="chapter.intro"><H1><A name="chapter.intro">1 Introduction</A></H1><P> The Mozart Programming System provides a powerful environment for the development of software systems, called the ``Oz Programming Interface'' (OPI). The OPI is built around the extensible Emacs editor and runs (at least) under <A name="label1"></A><A name="label2"></A><SPAN class="index">GNU Emacs</SPAN>, Version&nbsp;19.24 or greater, and <A name="label3"></A><A name="label4"></A><SPAN class="index">XEmacs</SPAN>, Version&nbsp;19.14 or greater. Its main features are: </P><DIV class="apropos"><P class="margin">Features</P><P> </P><DL><DT>Editing Oz code. </DT><DD><P>The OPI automatically indents program lines and colorizes Oz source code to ease reading and writing of Oz programs. Due to its awareness of the syntactical structure of Oz, one can work with programs by applying commands to whole constructs such as procedure or class definitions. </P></DD><DT>Running Mozart as a sub-process. </DT><DD><P>The OPI handles input to and output from a Mozart sub-process, providing a convenient interface for the interactive use of the Mozart system and for explorative programming. </P></DD><DT>Starting Mozart's development tools. </DT><DD><P>The OPI provides menus and shortcuts to interact with the development system's graphical tools, e.&nbsp;g., setting breakpoints for the thread debugger or displaying the current position in the source file being debugged. </P></DD></DL><P> </P></DIV><DIV class="apropos"><P class="margin">The Manual's Structure</P><P> This manual is structured as follows. <A href="node2.html#chapter.start">Chapter&nbsp;2</A> gives an overview of the OPI's general integration into the standard framework provided by Emacsen<A href="node1.html#label6"><SUP>1</SUP></A>. <A href="node3.html#chapter.editing">Chapter&nbsp;3</A>, <A href="node4.html#chapter.running">Chapter&nbsp;4</A>, and <A href="node5.html#chapter.tools">Chapter&nbsp;5</A> are dedicated to the three main features mentioned above respectively. <A href="node6.html#chapter.profiles">Chapter&nbsp;6</A> describes how to manage multiple Oz mode settings using profiles. <A href="node9.html#appendix.keybindings">Appendix&nbsp;A</A> summarizes all Oz-specific key bindings. </P></DIV><P> The last three appendices provide information for advanced users. <A href="node10.html#appendix.devel">Appendix&nbsp;B</A> details how to test Mozart system components locally and how to run Mozart under <SPAN class="tool">gdb</SPAN>. <A href="node11.html#appendix.api">Appendix&nbsp;C</A> documents some functions of the OPI that might be useful for users who want to write their own editing commands. Finally, <A href="node12.html#appendix.limitations">Appendix&nbsp;D</A> lists the known limitations of the OPI with workarounds. </P><DIV class="apropos"><P class="margin">Learning Emacs</P><P> This manual assumes some familiarity with the general editing commands of Emacsen and uses standard Emacs terminology. If you want to exploit the full power of the OPI you should get some acquaintance with Emacs. A good place to start is the Emacs on-line tutorial&nbsp;<A href="bib.html#stallman91">[Sta91]</A>, available from the Emacs Help menu; this is also the place to check if you are confused by the terminology used in this manual. You might especially want to look up the following words in the Emacs manual's glossary: point, mark, region, buffer, window, frame, mode line, killing, command, user option, prefix argument. </P></DIV><DIV class="unnumbered"><H2><A name="label5">Acknowledgements</A></H2><P> The Oz Programming Interface of the Mozart system is an extension and partial redesign of the Oz Programming Interface of DFKI Oz, Versions 1.1 and&nbsp;2.0. Credit has to go to the following people: </P><UL><LI><P><A href="http://www.ps.uni-sb.de/~mehl/">Michael Mehl</A>, for initially providing editing support (indentation, fontification), </P></LI><LI><P><A href="http://www.ps.uni-sb.de/~scheidhr/">Ralf Scheidhauer</A>, for running Oz as a sub-process, </P></LI><LI><P><A href="http://www.ps.uni-sb.de/~lorenz/">Benjamin Lorenz</A>, for the interaction with the Oz debugger, </P></LI><LI><P>Jochen Dörre, for initially providing Oz expression editing commands and jumping to compiler error messages. </P></LI></UL><P> Leif Kornstaedt is responsible for most of the current Mozart OPI. Denys Duchier contributed the concept of <EM>profiles</EM>. </P></DIV></DIV><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="node2.html#chapter.start">Next &gt;&gt;</A></TD></TR></TABLE><HR align="left" width="30%"><DIV class="footnote"><A name="label6">1. </A>``Emacsen'' is the plural of ``Emacs''. In this manual, we use the term when the feature being described applies to both GNU Emacs and XEmacs.</DIV><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~kornstae/">Leif&nbsp;Kornstaedt</A> and&nbsp;<A href="http://www.ps.uni-sb.de/~duchier/">Denys&nbsp;Duchier</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>