version 1.2, 1994/11/17 15:53:09
|
version 1.3, 1995/01/10 18:57:41
|
Line 41 end-struct doc-entry
|
Line 41 end-struct doc-entry
|
drop ; |
drop ; |
|
|
: print-short ( doc-entry -- ) |
: print-short ( doc-entry -- ) |
>r ." @format" |
>r ." @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 ." } " |
r@ doc-wordset 2@ type ." ``" |
r@ doc-wordset 2@ type ." ``" |
r@ doc-pronounciation 2@ type ." ''@end format" cr |
r@ doc-pronounciation 2@ type ." ''" cr ." @end format" cr |
rdrop ; |
rdrop ; |
|
|
: print-doc ( doc-entry -- ) |
: print-doc ( doc-entry -- ) |