Changeset 13933

Timestamp:

05/14/12 08:15:49 (12 years ago)

Author:

Mark Evenson

Message:

doc: include the package qualification of referenced symbols.

File:

• trunk/abcl/doc/manual/abcl.tex (modified) (3 diffs)

trunk/abcl/doc/manual/abcl.tex

@@ -11 +11 @@
 \date{Version 1.1.0-dev\\
 \smallskip
-March 3, 2012}
+May 14, 2012}
 \author{Mark Evenson \and Erik H\"{u}lsmann \and Rudolf Schlatte \and
   Alessio Stalla \and Ville Voutilainen}
@@ -821 +821 @@
 \index{JAR-PATHNAME}
 
-Both \code{URL-PATHNAME} and \code{JAR-PATHNAME} may be used anywhere
+Both \code{EXT:URL-PATHNAME} and \code{EXT:JAR-PATHNAME} may be used anywhere
 a \code{CL:PATHNAME} is accepted with the following caveats:
 
 \begin{itemize}
 
-\item A stream obtained via OPEN on a URL-PATHNAME cannot be the
-  target of write operations.
+\item A stream obtained via \code{CL:OPEN} on a \code{CL:URL-PATHNAME}
+  cannot be the target of write operations.
 
 \index{URI}
@@ -847 +847 @@
 \end{itemize}
 
-The implementation of \code{URL-PATHNAME} allows the \textsc{ABCL}
+The implementation of \code{EXT:URL-PATHNAME} allows the \textsc{ABCL}
 user to dynamically load code from the network.  For example,
 Quicklisp (\cite{quicklisp}) may be completely installed from the REPL