[Some OAA agent doc additions.
bjorn@bringert.net**20041206143547]  < > {
hunk ./doc/gf-java.html 56
-The OAA solvables declared by the GF OAA interface
-is described in &quot;<a href="gf-oaa.html">GF OAA interface</a>&quot;.
+See &quot;<a href="gf-oaa.html">GF OAA Agent</a>&quot;.
hunk ./doc/gf-java.html 138
-<p>The standard parsing and linearization functions use untyped abstract syntax trees.
-There is a facility for generating Java classes which can represent an abstract
-syntax using typed trees.</p>
+<p>
+The standard parsing and linearization functions use untyped 
+abstract syntax trees. The Grammar2API program in the gfc2java
+distribution generates Java 
+classes which can represent an abstract syntax tree using typed trees.
+</p>
hunk ./doc/gf-oaa.html 11
-<h1>GF OAA interface</h1>
+<h1>GF OAA Agent</h1>
hunk ./doc/gf-oaa.html 24
+
+<h2>Running</h2>
+
+<p>
+If the grammar properties file is <tt>test.properties</tt> and
+the facilitator is running on <tt>$FAC_HOST</tt>, port
+<tt>$FAC_PORT</tt>, the GF agent is started with:
+</p>
+
+<pre>
+$ java -cp $CLASSPATH:gfc2java.jar:. se.chalmers.cs.gf.oaa.GFAgent /test.properties -oaa_connect "tcp('${FAC_HOST}',${FAC_PORT})"
+</pre>
+
+<h3>Notes</h3>
+
+<ul>
+<li>
+<p>
+The path to the properties file is loaded as a java resource, so
+the leading slash means to look look at the root of the package
+hierarchy to find the file in the current directory.
+</p>
+</li>
+<li>
+
+<p>
+$CLASSPATH must contain the paths to:
+</p>
+<ul>
+<li>OAA 2.3.0 and all its requirements</li>
+<li>The Trindikit Java library (for the OAAAgent class)</li>
+</ul>
+
+</li>
+</ul>
}