--- a/pde.xmlf
+++ b/pde.xmlf
@@ -1,87 +1,7 @@
 <?xml version="1.0"?><!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.1//EN" "http://www.oasis-open.org/docbook/xml/4.1/docbookx.dtd">
 <book lang="en">
 <chapter id="Program-development">
-<title>Program Development Facilities</title>
-<section id="The-tracer">
-<title>The Tracer</title>
-<para>The Tracer causes selected <literal>functions</literal> to be traced.  When such a traced
-<literal>function</literal> is invoked, it prints</para>
-<screen>
-<replaceable>level</replaceable> &gt; (<replaceable>name   arg1   ...   argn</replaceable>)
-</screen>
-<para>On return from a traced <literal>function</literal>, it prints</para>
-<screen>
-&lt; <replaceable>level</replaceable>  (<replaceable>name   value1   ...   valuen</replaceable>)
-</screen>
-<para><replaceable>name</replaceable> is the name of the traced <literal>function</literal>, <replaceable>args</replaceable> are the
-arguments, and <replaceable>values</replaceable> are the return values.  <replaceable>level</replaceable> is a number
-which is incremented each time a traced <literal>function</literal> is invoked and is
-decremented at the completion of the invocation.  Trace print-outs are indented
-according to the <replaceable>level</replaceable>.</para>
-<para>In the current version of &ECL;, macros and special forms cannot be traced.</para>
-<blockquote>
-<screen><indexterm role="fn"><primary>trace</primary></indexterm>&mdash; Macro: <function>trace</function> <varname>{function-name | (function-name {&amp;key form}*)}*</varname></screen>
-<para>Causes one or more functions to be traced.  Each <replaceable>function-name</replaceable> must be a
-symbol which is not evaluated.  If a function is called from a compiled
-function in the same file, tracing will not be enabled.  If this is the case,
-to enable tracing, recompile the caller with a <literal>notinline</literal> declaration for
-the called function. <literal>trace</literal> returns a name list of those functions that
-were traced by the call to trace.  If no <replaceable>function-name</replaceable> is given,
-<literal>trace</literal> simply returns a name list of all the currently traced functions.</para>
-<para>Trace options can cause the normal printout to be suppressed, or cause extra
-information to be printed.  Each option is a pair of an option keyword and a
-value form. If an already traced function is traced again, any new options
-replace the old options.  <replaceable>form</replaceable> is an expression to be evaluated in an
-environment where <replaceable>sys::arglist</replaceable> is bound to the current list of arguments
-to the function.</para>
-<para>The following options are defined:</para>
-<variablelist>
-<varlistentry>
-<term><replaceable>:cond</replaceable> <replaceable>form</replaceable></term>
-<term><replaceable>:cond-before</replaceable> <replaceable>form</replaceable></term>
-<term><replaceable>:cond-after</replaceable> <replaceable>form</replaceable></term>
-<listitem>
-<para>If <replaceable>:cond-before</replaceable> is specified, then <literal>trace</literal> does nothing unless
-<replaceable>form</replaceable> evaluates to true at the time of the call.  <replaceable>:cond-after</replaceable> is
-similar, but suppresses the initial printout, and is tested when the function
-returns.  <replaceable>:cond</replaceable> tries both before and after.</para>
-</listitem>
-</varlistentry>
-<varlistentry>
-<term><replaceable>:step</replaceable> <replaceable>form</replaceable></term>
-<listitem>
-<para>If <replaceable>form</replaceable> evaluates to true, the stepper is entered.</para>
-</listitem>
-</varlistentry>
-<varlistentry>
-<term><replaceable>:break</replaceable> <replaceable>form</replaceable></term>
-<term><replaceable>:break-after</replaceable> <replaceable>form</replaceable></term>
-<listitem>
-<para>If specified, and <replaceable>form</replaceable> evaluates to true, then the debugger is invoked at
-the start of the function or at the end of the function according to the
-respective option.</para>
-</listitem>
-</varlistentry>
-<varlistentry>
-<term><replaceable>:print</replaceable> <replaceable>form</replaceable></term>
-<term><replaceable>:print-after</replaceable> <replaceable>form</replaceable></term>
-<listitem>
-<para>In addition to the usual printout, the result of evaluating <replaceable>form</replaceable> is
-printed at the start of the function or at the end of the function, according
-to the respective option.  Multiple print options cause multiple values to be</para>
-</listitem>
-</varlistentry>
-</variablelist>
-</blockquote>
-<blockquote>
-<screen><indexterm role="fn"><primary>untrace</primary></indexterm>&mdash; Macro: <function>untrace</function> <varname>{function-name}*</varname></screen>
-<para>Causes the specified functions to be not traced any more.  <replaceable>function-names</replaceable>
-must be symbols and they are not evaluated. <literal>untrace</literal> returns a name list
-of those functions that were untraced by the call to <literal>untrace</literal>.  If no
-<replaceable>function-name</replaceable> is given, <literal>untrace</literal> will untrace all the currently
-traced functions and will return a list of their names.</para>
-</blockquote>
-</section>
+ <title>Program Development Facilities</title>
 
 <section id="The-stepper">
 <title>The Stepper</title>