Mercurial Mercurial > hg > pip / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Slides/document/root.notes.tex
author zhangx
Thu, 28 Jan 2016 21:14:17 +0800
changeset 90 ed938e2246b9
parent 0 110247f9d47e
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:
0
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     1
 
\documentclass[11pt]{article}
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
 
\usepackage{dina4}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     4
 
\usepackage{beamerarticle}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     5
 
\usepackage{times}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     6
 
\usepackage{hyperref}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     7
 
\usepackage{pgf}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     8
 
\usepackage{amssymb}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     9
 
\setjobnamebeamerversion{root.beamer}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    10
 
\input{root.tex}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    11
 











Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 

diff
changeset




    12


%%% Local Variables:  












Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 

diff
changeset




    13


%%% mode: latex












Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 

diff
changeset




    14


%%% TeX-master: t












Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 

diff
changeset




    15


%%% TeX-command-default: "Slides"












Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 

diff
changeset




    16


%%% 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




    17


%%% End: 












Christian Urban <christian dot urban at kcl dot ac dot uk>


parents: 

diff
changeset




    18
















pip