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

Timestamp:

Jan 23, 2019, 4:52:16 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

a200795

Parents:

9b086ca (diff), 1d832f4 (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.

Message:

Merge branch 'master' into cleanup-dtors

File:

• doc/theses/aaron_moss_PhD/phd/thesis.tex (moved) (moved from doc/theses/aaron_moss/phd/thesis.tex ) (5 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.
 
@@ -57 +64 @@
         urlcolor=black}
 }{} % end of ifthenelse (no else)
+
+\input{cfa-macros} % must be loaded after hyperref
 
 % \usepackage[automake,toc,abbreviations]{glossaries-extra} % Exception to the rule of hyperref being the last add-on package
@@ -118 +127 @@
 \input{background}
 \input{generic-types}
+\input{resolution-heuristics}
 \input{type-environment}
-\input{resolution-heuristics}
 \input{conclusion}
 
@@ -139 +148 @@
 \addcontentsline{toc}{chapter}{\textbf{References}}
 
-\bibliography{aaron-thesis}
+\bibliography{pl}
 % Tip 5: You can create multiple .bib files to organize your references. 
 % Just list them all in the \bibliogaphy command, separated by commas (no spaces).