branch | Nominal2-Isabelle2011-1 |
changeset 3070 | 4b4742aa43f2 |
parent 3069 | 78d828f43cdf |
child 3071 | 11f6a561eb4b |
3069:78d828f43cdf | 3070:4b4742aa43f2 |
---|---|
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 |