<!--
  - Authors:
  -   Christian Schulte <schulte@ps.uni-sb.de>
  -
  - Copyright:
  -   Christian Schulte, 1998
  -
  - Last change:
  -   $Date: 1999/08/12 09:43:25 $ by $Author: duchier $
  -   $Revision: 1.5 $
  -
  - This file is part of Mozart, an implementation
  - of Oz 3
  -    http://www.mozart-oz.org
  -
  - See the file "LICENSE" or
  -    http://www.mozart-oz.org/LICENSE.html
  - for information on usage and redistribution
  - of this file, and for a DISCLAIMER OF ALL
  - WARRANTIES.
  -
  -->

<!DOCTYPE Book SYSTEM "ozdoc.dtd" [

<!-- Extension to the DTD -->
<!ENTITY % proglang.values.local "|sh|fundamental">

<!ENTITY % input.local.2 SYSTEM "explorer.extra">
<!ENTITY % p.mix.local "|note.gui|menu">
<!ENTITY % author.class "author|author.extern|comic">
<!ENTITY % picture.element "picture|picture.extern|picture.choice">
<!ELEMENT comic - O (%picture.element;)>

<!-- Include Files -->
<!ENTITY actions   SYSTEM "actions.sgml">
<!ENTITY interface SYSTEM "interface.sgml">
<!ENTITY invoke    SYSTEM "invoke.sgml">
<!ENTITY menu      SYSTEM "menu.sgml">
<!ENTITY object    SYSTEM "object.sgml">
<!ENTITY status    SYSTEM "status.sgml">
<!ENTITY summary   SYSTEM "summary.sgml">
<!ENTITY tree      SYSTEM "tree.sgml">

<!-- Abbreviations -->
<!ENTITY lt "<">
<!ENTITY gt ">">
<!ENTITY dot "." -- to distinguish it from periods -->
<!ENTITY Oz "Oz">

<!-- Processing Instructions -->
<!ENTITY emdash PI "emdash">
<!ENTITY endash PI "endash">
<!ENTITY nbsp PI "nbsp">
<!ENTITY ellipsis PI "ellipsis">
<!ENTITY slash PI "slash">
<!ENTITY ie PI "ie">
<!ENTITY wrt PI "wrt">
<!ENTITY eg PI "eg">

]>

<Book proglang=oz>
  <Front>
    <meta name="proglang.mode" arg1="oz" arg2="oz-mode">

    <Meta name="html.split"       value="chapter.summary">
    <Meta name="html.split"       value="chapter.interface">
    <Meta name="html.split"       value="chapter.status">
    <Meta name="html.split"       value="chapter.invoke">
    <Meta name="html.split"       value="chapter.tree">
    <Meta name="html.split"       value="chapter.menu">
    <Meta name="html.split"       value="chapter.actions">
    <Meta name="html.split"       value="chapter.object">


    <Meta name="html.split.bib"   value="">
    <Meta name="html.split.index" value="">
    <Meta name="html.split.toc"   value="">

    <Meta name="latex.table.spec" arg1="figure.nodes.table" arg2="llllll">
    <Meta name="latex.table.spec" arg1="figure.trees.table" arg2="llll">

    <Meta name="latex.picture.width" arg1="pic.c-open"      arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.b-open"      arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.c-closed"    arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.b-closed"    arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.c-suspended" arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.b-suspended" arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.c-entailed"  arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.b-entailed"  arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.c-failed"    arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.b-failed"    arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.c-blocked"   arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.b-blocked"
	  arg2="1cm">

    <Meta name="latex.picture.width" arg1="pic.c-h-part-solved" arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.c-h-part-failed" arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.c-h-solved"      arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.c-h-failed"      arg2="1cm">

    <Meta name="latex.picture.width" arg1="pic.hide-1.a" arg2="2.5cm">
    <Meta name="latex.picture.width" arg1="pic.arrow-r.a" arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.hide-2" arg2="2.5cm">
    <Meta name="latex.picture.width" arg1="pic.arrow-r.b" arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.hide-1.b" arg2="2.5cm">
    <Meta name="latex.picture.width" arg1="pic.arrow-r.c" arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.hide-3" arg2="2.5cm">
    <Meta name="latex.picture.width" arg1="pic.arrow-r.d" arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.hide-4" arg2="2.5cm">
    <Meta name="latex.picture.width" arg1="pic.arrow-r.e" arg2="1cm">
    <Meta name="latex.picture.width" arg1="pic.hide-5" arg2="2.5cm">

    <Meta name="latex.table.spec" arg1="fig.hidestar.table" arg2="@{}p{18mm}lp{27mm}lp{19mm}l@{}">
    <Meta name="latex.picture.width" arg1="pic.stat-ex" arg2="2.5cm">

    <Meta name=ozversion value="3.0">
    <Meta name=status value=revised>
    <Title/Oz Explorer &emdash; Visual Constraint Programming Support/
    <Author.Extern to="author.db" key="Christian.Schulte">
    <Abstract>
      The Oz Explorer is a graphical and interactive tool to
      visualize and analyze search trees.  A research paper on the
      Oz Explorer is&nbsp;<Ptr to="Schulte97">. 
    </Abstract>
  <Body>
      &summary;
      &invoke;
      &interface;
      &tree; 
      &status;
      &menu;
      &actions;
      &object;
  <Back>
    <Bib.Extern id="Schulte97" to="explorer.bib" key="Schulte97">
</Book>
