Changeset e99e43f for doc/theses/aaron_moss_PhD/phd/thesis.tex

Timestamp:

Jan 10, 2019, 3:50:34 PM (7 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct

Children:

d97c3a4

Parents:

aeb8f70 (diff), 08222c7 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

Aaron Moss <a3moss@…> (01/10/19 14:46:09)

git-committer:

Aaron Moss <a3moss@…> (01/10/19 15:50:34)

Message:

Merge remote-tracking branch 'plg/master' into deferred_resn

File:

• doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) (3 diffs)

doc/theses/aaron_moss_PhD/phd/thesis.tex

@@ -21 +21 @@
 
 \usepackage{amsmath,amssymb,amstext} % Lots of math symbols and environments
-\usepackage[pdftex]{graphicx} % For including graphics N.B. pdftex graphics driver 
+% \usepackage[pdftex]{graphicx} % For including graphics N.B. pdftex graphics driver 
+\usepackage{graphicx}
+
+\usepackage{amsthm} % for theorem environment
+\newtheorem{theorem}{Theorem}
+
+\usepackage{footmisc} % for double refs to the same footnote
 
 % Hyperlinks make it very easy to navigate an electronic document.
@@ -28 +34 @@
 % Use the "hyperref" package 
 % N.B. HYPERREF MUST BE THE LAST PACKAGE LOADED; ADD ADDITIONAL PKGS ABOVE
-\usepackage[pdftex,pagebackref=false]{hyperref} % with basic options
+%\usepackage[pdftex,pagebackref=false]{hyperref} % with basic options
+\usepackage[pagebackref=false]{hyperref}
 % N.B. pagebackref=true provides links back from the References to the body text. This can cause trouble for printing.
 
@@ -120 +127 @@
 \input{background}
 \input{generic-types}
+\input{resolution-heuristics}
 \input{type-environment}
-\input{resolution-heuristics}
 \input{conclusion}