version 1.1, 1995/03/13 09:17:32
|
version 1.2, 1995/07/06 15:57:28
|
Line 45 s" \ automatically generated by makedoc.
|
Line 45 s" \ automatically generated by makedoc.
|
locals-list @ 0= \ not in a colon def, i.e., not a local name |
locals-list @ 0= \ not in a colon def, i.e., not a local name |
last @ 0<> and \ not an anonymous (i.e. noname) header |
last @ 0<> and \ not an anonymous (i.e. noname) header |
if |
if |
0 0 doc-file-id write-line throw |
s" " doc-file-id write-line throw |
s" make-doc " doc-file-id write-file throw |
s" make-doc " doc-file-id write-file throw |
last @ name>string doc-file-id write-file throw |
last @ name>string doc-file-id write-file throw |
>in @ |
>in @ |