Slides/document/root.beamer.tex
branchNominal2-Isabelle2012
changeset 3169 b6873d123f9b
parent 3168 a6f3e1b08494
child 3170 89715c48f728
equal deleted inserted replaced
3168:a6f3e1b08494 3169:b6873d123f9b
     1 \documentclass[14pt,t]{beamer}
       
     2 %%%\usepackage{pstricks}
       
     3 
       
     4 \input{root.tex}
       
     5 
       
     6 %%% Local Variables:  
       
     7 %%% mode: latex
       
     8 %%% TeX-master: t
       
     9 %%% TeX-command-default: "Slides"
       
    10 %%% TeX-view-style: (("." "kghostview --landscape --scale 0.45 --geometry 605x505 %f"))
       
    11 %%% End: 
       
    12