Slides/document/root.beamer.tex
author zhangx
Thu, 28 Jan 2016 21:14:17 +0800
changeset 90 ed938e2246b9
parent 5 0f2d4b78f839
permissions -rw-r--r--
Retrofiting of: CpsG.thy (the parallel copy of PIPBasics.thy), ExtGG.thy (The paralell copy of Implemenation.thy), PrioG.thy (The paralell copy of Correctness.thy) has completed. The next step is to overwite original copies with the paralell ones.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
5
0f2d4b78f839 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset
     1
\documentclass[dvipsnames, 14pt,t]{beamer}
0
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
%%%\usepackage{pstricks}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
\input{root.tex}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
%%% Local Variables:  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
%%% mode: latex
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
%%% TeX-master: t
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
%%% TeX-command-default: "Slides"
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    10
%%% TeX-view-style: (("." "kghostview --landscape --scale 0.45 --geometry 605x505 %f"))
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    11
%%% End: 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    12