version 1.5, 1995/07/06 15:57:26
|
version 1.6, 1995/09/15 14:52:49
|
Line 77 create description-buffer 4096 chars all
|
Line 77 create description-buffer 4096 chars all
|
." @i{" r@ doc-stack-effect 2@ type ." } " |
." @i{" r@ doc-stack-effect 2@ type ." } " |
r@ doc-wordset 2@ type ." ``" |
r@ doc-wordset 2@ type ." ``" |
r@ doc-pronounciation 2@ type ." ''" cr ." @end format" cr |
r@ doc-pronounciation 2@ type ." ''" cr ." @end format" cr |
|
." @findex " r@ doc-name 2@ typetexi cr |
rdrop ; |
rdrop ; |
|
|
: print-doc ( doc-entry -- ) |
: print-doc ( doc-entry -- ) |