Changeset 4281 for trunk/manuals/refman/builtins/create_category4.html

Timestamp:

05/25/08 16:25:37 (6 months ago)

Author:

pmoura

Message:

Fixed HTML typo on the documentation of the predicate create_category/4.

Files:

• trunk/manuals/refman/builtins/create_category4.html (modified) (1 diff)

trunk/manuals/refman/builtins/create_category4.html

@@ -58 +58 @@
         [implements(comparing)],
         [],
-        [epsilon(1e-15), (equal(X, Y) :- epsilon(E), abs(X-Y) =< E)]
+        [epsilon(1e-15), (equal(X, Y) :- epsilon(E), abs(X-Y) =&lt; E)]
      ).</pre>