commit 0cdfa40f05c1aab8802e2b246795520a0e4f46e8
parent 2e92a8bfec176e8f4eb220234ab7b0513b8b102b
Author: Alexander Burger <abu@software-lab.de>
Date: Mon, 9 Jul 2012 10:44:35 +0200
Minor HTML markup error
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/refR.html b/doc/refR.html
@@ -556,7 +556,7 @@ href="refP.html#pass">pass</a></code>.
-> (1 2 3)
</code></pre>
-<dt><a name="retract">(retract) -> lst<code></code></a>
+<dt><a name="retract"><code>(retract) -> lst</code></a>
<dd>Removes a <a href="ref.html#pilog">Pilog</a> fact or rule. See also <code><a
href="refB.html#be">be</a></code>, <code><a
href="refC.html#clause">clause</a></code>, <code><a