added \iflabelundefined
authorlcp
Thu Mar 24 16:12:42 1994 +0100 (1994-03-24)
changeset 301f5ccfc4d362f
parent 300 3fb8c0256bec
child 302 7e2cffe28eb5
added \iflabelundefined
doc-src/iman.sty
     1.1 --- a/doc-src/iman.sty	Thu Mar 24 15:23:02 1994 +0100
     1.2 +++ b/doc-src/iman.sty	Thu Mar 24 16:12:42 1994 +0100
     1.3 @@ -7,6 +7,10 @@
     1.4  
     1.5  \let\ts=\thinspace
     1.6  
     1.7 +%usage: \iflabelundefined{LABEL}{if not defined}{if defined}
     1.8 +\newcommand{\iflabelundefined}[1]{\@ifundefined{r@#1}}
     1.9 +
    1.10 +
    1.11  %%%INDEXING  use sedindex to process the index
    1.12  %index, putting page numbers of definitions in boldface
    1.13  \newcommand\bold[1]{{\bf#1}}