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

diff --git a/contrib/sb-aclrepl/sb-aclrepl.texinfo b/contrib/sb-aclrepl/sb-aclrepl.texinfo
index 07eb17b..3ee58bb 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 a
+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.