Changeset 933f32f for doc/theses/aaron_moss_PhD/phd/thesis.tex

Timestamp:

May 24, 2019, 10:19:41 AM (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

Children:

d908563

Parents:

6a9d4b4 (diff), 292642a (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 (modified) (4 diffs)

doc/theses/aaron_moss_PhD/phd/thesis.tex

@@ -29 +29 @@
 \usepackage{footmisc} % for double refs to the same footnote
 
+\usepackage{caption} % for subfigure
+\usepackage{subcaption}
+
 % Hyperlinks make it very easy to navigate an electronic document.
 % In addition, this is where you should specify the thesis title
@@ -34 +37 @@
 % 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[pagebackref=false]{hyperref}
+%\usepackage[pdftex,pagebackref=false]{hyperref} % with basic options\
+\usepackage[breaklinks,pagebackref=false]{hyperref}
 % N.B. pagebackref=true provides links back from the References to the body text. This can cause trouble for printing.
 
@@ -129 +132 @@
 \input{resolution-heuristics}
 \input{type-environment}
+\input{experiments}
 \input{conclusion}
 
@@ -156 +160 @@
 % \nocite{*}
 
+% APPENDICIES
+% -----------
+\appendix
+\input{generic-bench}
+
 \end{document}