version 1.11, 1996/09/30 13:16:08
|
version 1.12, 1997/02/01 14:59:28
|
Line 123 create description-buffer 4096 chars all
|
Line 123 create description-buffer 4096 chars all
|
." @var{ " r@ doc-stack-effect 2@ type ." } " |
." @var{ " r@ doc-stack-effect 2@ type ." } " |
r@ doc-wordset 2@ type |
r@ doc-wordset 2@ type |
cr |
cr |
|
." @cindex " |
|
." @code{" r@ doc-name 2@ typetexi ." }" |
|
cr |
." @format" cr |
." @format" cr |
." @code{" r@ doc-name 2@ typetexi ." } " |
." @code{" r@ doc-name 2@ typetexi ." } " |
." @i{" r@ doc-stack-effect 2@ type ." } " |
." @i{" r@ doc-stack-effect 2@ type ." } " |