Slides/document/root.beamer.tex
branchNominal2-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: 
-