X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=contrib%2Fsb-aclrepl%2Fsb-aclrepl.texinfo;h=c8a2fc1e0c406a7f202b28ea077659a6b5dad13c;hb=ef8fd235fa2ca39e444710d1bc275acbc8d3279c;hp=07eb17b88e28475efaa505746012e0cbc70c9188;hpb=ba2143e06b11101674720393e6f6c30a23113a4b;p=sbcl.git

diff --git a/contrib/sb-aclrepl/sb-aclrepl.texinfo b/contrib/sb-aclrepl/sb-aclrepl.texinfo
index 07eb17b..c8a2fc1 100644
--- a/contrib/sb-aclrepl/sb-aclrepl.texinfo
+++ b/contrib/sb-aclrepl/sb-aclrepl.texinfo
@@ -3,9 +3,11 @@
 @cindex Read-Eval-Print Loop
 @cindex REPL
 
-The @code{sb-aclrepl} module offers an AllegroCL style Read-Eval-Print
-Loop for SBCL. An AllegroCL style inspector is integrated. Adding an
-AllegroCL style debugger is planned.
+@c FIXME: I wanted to use @registeredsymbol{}, but that's 
+@c only available in Texinfo 4.7.  sigh.
+The @code{sb-aclrepl} module offers an Allegro CL-style
+Read-Eval-Print Loop for SBCL, with integrated inspector.  Adding an
+debugger interface is planned.
 
 @subsection Usage
 
@@ -43,3 +45,7 @@ some of the features of @code{sb-aclrepl}:
 
 Questions, comments, or bug reports should be sent to Kevin Rosenberg
 (@email{kevin@@rosenberg.net}).
+
+@subsection Credits
+
+Allegro CL is a registered trademark of Franz Inc.