>
>
>Mozna je na to nejaky balik, ale ja bych udelal toto:
>
>\let\origlabel\label
>\renewcommand\label[1]{\marginpar{Label: #1}\label{#1}}
>
>
>
nie nahodou:
\let\origlabel\label
\renewcommand\label[1]{\marginpar{Label: #1}\origlabel{#1}}
Kornel Csach