version 1.137, 2005/04/02 10:57:53
|
version 1.138, 2005/05/11 17:57:52
|
Line 7829 words:
|
Line 7829 words:
|
|
|
@c anton: these belong in the input stream section |
@c anton: these belong in the input stream section |
doc-parse |
doc-parse |
|
doc-parse-name |
doc-parse-word |
doc-parse-word |
doc-name |
doc-name |
doc-word |
doc-word |
Line 12431 operating systems. Hopefully, Unicode wi
|
Line 12432 operating systems. Hopefully, Unicode wi
|
If @code{word} is called with the space character as a delimiter, all |
If @code{word} is called with the space character as a delimiter, all |
white-space characters (as identified by the C macro @code{isspace()}) |
white-space characters (as identified by the C macro @code{isspace()}) |
are delimiters. @code{Parse}, on the other hand, treats space like other |
are delimiters. @code{Parse}, on the other hand, treats space like other |
delimiters. @code{Parse-word}, which is used by the outer |
delimiters. @code{Parse-name}, which is used by the outer |
interpreter (aka text interpreter) by default, treats all white-space |
interpreter (aka text interpreter) by default, treats all white-space |
characters as delimiters. |
characters as delimiters. |
|
|