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

Timestamp:

Oct 16, 2018, 7:22:39 PM (6 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

Children:

57b0b1f

Parents:

7b61ce8

Message:

Add discussion of variants of environment data structures to thesis

File:

• doc/theses/aaron_moss_PhD/phd/thesis.tex (modified) (1 diff)

doc/theses/aaron_moss_PhD/phd/thesis.tex

@@ -23 +23 @@
 % \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