doc-src/Inductive/ind-defs-slides.tex
changeset 42637 381fdcab0f36
parent 3162 78fa85d44e68
equal deleted inserted replaced
42636:41dff1b862bf 42637:381fdcab0f36
     1 %process by     latex ind-defs-slides; dvips -Plime ind-defs-slides
     1 %process by     latex ind-defs-slides; dvips -Plime ind-defs-slides
     2 %               ghostview -magstep -2 -landscape ind-defs-slides.ps
     2 %               ghostview -magstep -2 -landscape ind-defs-slides.ps
     3 %  $Id$
       
     4 \documentclass[a4,slidesonly,semlayer]{seminar}
     3 \documentclass[a4,slidesonly,semlayer]{seminar}
     5 
     4 
     6 \usepackage{fancybox}
     5 \usepackage{fancybox}
     7 \usepackage{semhelv}
     6 \usepackage{semhelv}
     8 \usepackage{epsf}
     7 \usepackage{epsf}