[m-dev.] for review: Aditi documentation

[Simon Taylor]

Oops, missed one.

--- reference_manual.texi	1998/07/09 06:10:36	1.1
+++ reference_manual.texi	1998/07/09 06:18:26
@@ -4446,6 +4446,15 @@
 a transaction to avoid unnecessary recomputations.
 @samp{no_memo} is the default.	@c XXX this will probably change
 
+ at example
+:- pragma owner(@var{Name}/@var{Arity}, @var{UserName}).
+ at end example
+
+The predicate is owned by the named user. A predicate in the database
+is identified by owner, module name, predicate name and arity. If no
+ at samp{:- pragma owner(...)} declaration is given, the owner is taken from
+the @samp{--aditi-user} option.
+
 @end ignore
 
 @node Bibliography