doc-src/TutorialI/Recdef/document/Nested2.tex
changeset 10654 458068404143
parent 10645 175ccbd5415a
child 10668 3b84288e60b7
     1.1 --- a/doc-src/TutorialI/Recdef/document/Nested2.tex	Wed Dec 13 09:32:55 2000 +0100
     1.2 +++ b/doc-src/TutorialI/Recdef/document/Nested2.tex	Wed Dec 13 09:39:53 2000 +0100
     1.3 @@ -75,7 +75,7 @@
     1.4  \begin{isamarkuptext}%
     1.5  \noindent
     1.6  or declare them globally
     1.7 -by giving them the \isa{recdef{\isacharunderscore}cong} attribute as in%
     1.8 +by giving them the \isaindexbold{recdef_cong} attribute as in%
     1.9  \end{isamarkuptext}%
    1.10  \isacommand{declare}\ map{\isacharunderscore}cong{\isacharbrackleft}recdef{\isacharunderscore}cong{\isacharbrackright}%
    1.11  \begin{isamarkuptext}%