Slides/document/root.notes.tex
branchNominal2-Isabelle2012
changeset 3169 b6873d123f9b
parent 3168 a6f3e1b08494
child 3170 89715c48f728
--- a/Slides/document/root.notes.tex	Sat May 12 21:05:59 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,18 +0,0 @@
-\documentclass[11pt]{article}
-%%\usepackage{pstricks}
-\usepackage{dina4}
-\usepackage{beamerarticle}
-\usepackage{times}
-\usepackage{hyperref}
-\usepackage{pgf}
-\usepackage{amssymb}
-\setjobnamebeamerversion{root.beamer}
-\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: 
-