branch | Nominal2-Isabelle2011-1 |
changeset 3070 | 4b4742aa43f2 |
parent 3069 | 78d828f43cdf |
child 3071 | 11f6a561eb4b |
--- a/Slides/document/root.beamer.tex Sat Dec 17 16:58:11 2011 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,12 +0,0 @@ -\documentclass[14pt,t]{beamer} -%%%\usepackage{pstricks} - -\input{root.tex} - -%%% Local Variables: -%%% mode: latex -%%% TeX-master: t -%%% TeX-command-default: "Slides" -%%% TeX-view-style: (("." "kghostview --landscape --scale 0.45 --geometry 605x505 %f")) -%%% End: -