branch | Nominal2-Isabelle2013 |
changeset 3208 | da575186d492 |
parent 3206 | fb201e383f1b |
child 3209 | 2fb0bc0dcbf1 |
--- a/Slides/document/root.beamer.tex Tue Feb 19 05:38:46 2013 +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: -