branch | Nominal2-Isabelle2013 |
changeset 3208 | da575186d492 |
parent 3206 | fb201e383f1b |
child 3209 | 2fb0bc0dcbf1 |
3206:fb201e383f1b | 3208:da575186d492 |
---|---|
1 \documentclass[11pt]{article} |
|
2 %%\usepackage{pstricks} |
|
3 \usepackage{dina4} |
|
4 \usepackage{beamerarticle} |
|
5 \usepackage{times} |
|
6 \usepackage{hyperref} |
|
7 \usepackage{pgf} |
|
8 \usepackage{amssymb} |
|
9 \setjobnamebeamerversion{root.beamer} |
|
10 \input{root.tex} |
|
11 |
|
12 %%% Local Variables: |
|
13 %%% mode: latex |
|
14 %%% TeX-master: t |
|
15 %%% TeX-command-default: "Slides" |
|
16 %%% TeX-view-style: (("." "kghostview --landscape --scale 0.45 --geometry 605x505 %f")) |
|
17 %%% End: |
|
18 |