doc-src/Intro/intro.tex
changeset 7827 c9c615d970db
parent 6611 08dfd050b373
child 8828 5be2d1745c61
equal deleted inserted replaced
7826:c6a8b73b6c2a 7827:c9c615d970db
     1 \documentclass[12pt]{article}
     1 \documentclass[12pt,a4paper]{article}
     2 \usepackage{graphicx,a4,../iman,../extra,../proof,../pdfsetup}
     2 \usepackage{graphicx,../iman,../extra,../proof,../pdfsetup}
     3 
     3 
     4 %% $Id$
     4 %% $Id$
     5 %% run    bibtex intro         to prepare bibliography
     5 %% run    bibtex intro         to prepare bibliography
     6 %% run    ../sedindex intro    to prepare index file
     6 %% run    ../sedindex intro    to prepare index file
     7 %prth *(\(.*\));          \1;      
     7 %prth *(\(.*\));          \1;