ef26a5dd830f

cl-ggp: Update site.
[view raw] [browse files]
author Steve Losh <steve@stevelosh.com>
date Wed, 23 Mar 2016 23:00:35 +0000
parents 641956c66398
children e0132bd24efe
branches/tags (none)
files cl-ggp/reference/index.html

Changes

--- a/cl-ggp/reference/index.html	Wed Mar 23 21:36:48 2016 +0000
+++ b/cl-ggp/reference/index.html	Wed Mar 23 23:00:35 2016 +0000
@@ -152,7 +152,7 @@
 <p>Start the HTTP server for the given player.</p>
 <h2 id="package-ggp-rules">Package GGP-RULES</h2>
 <p>Symbol storage package.</p>
-<p>The GGP-RULES package is used to hold all the symbols in the GDL game
+<p>The <code>GGP-RULES</code> package is used to hold all the symbols in the GDL game
   descriptions, as well as some special symbols in the GGP protocol.  It is
   cleared between game runs to avoid a buildup of garbage symbols (especially
   when GDL scrambling is turned on), though certain special symbols are allowed