Changeset 29c9b23 for doc/theses/andrew_beach_MMath/uw-ethesis.tex

Timestamp:

Feb 4, 2021, 9:56:11 AM (2 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

9af0fe2d

Parents:

6a99803

Message:

Andrew MMath: Supposed to be focused on features but it ended up leaking out.

File:

• doc/theses/andrew_beach_MMath/uw-ethesis.tex (modified) (4 diffs)

doc/theses/andrew_beach_MMath/uw-ethesis.tex

@@ -70 +70 @@
 %    un-comment the second \documentclass line.
 % 2) change the value assigned below to the boolean variable "PrintVersion"
-%    from " false" to "true".
+%    from "false" to "true".
 
 % ======================================================================
@@ -82 +82 @@
 % one above:
 %\documentclass[letterpaper,12pt,titlepage,openright,twoside,final]{book}
+
+\usepackage{etoolbox}
 
 % Some LaTeX commands I define for my own nomenclature.
@@ -105 +107 @@
 % For including graphics N.B. pdftex graphics driver
 \usepackage[pdftex]{graphicx}
+% Removes large sections of the document.
+\usepackage{comment}
 
 % Hyperlinks make it very easy to navigate an electronic document.
@@ -201 +205 @@
 \makeglossaries
 
-\usepackage{comment}
 % cfa macros used in the document
 %\usepackage{cfalab}
+% I'm going to bring back eventually.
+\makeatletter
+% Combines all \CC* commands:
+\newrobustcmd*\Cpp[1][\xspace]{\cfalab@Cpp#1}
+\newcommand\cfalab@Cpp{C\kern-.1em\hbox{+\kern-.25em+}}
+% Optional arguments do not work with pdf string. (Some fix-up required.)
+\pdfstringdefDisableCommands{\def\Cpp{C++}}
+\makeatother
+
 \input{common}
-\CFAStyle                                               % CFA code-style for all languages
-\lstset{language=CFA,basicstyle=\linespread{0.9}\tt}    % CFA default lnaguage
+% CFA code-style for all languages
+\CFAStyle
+% CFA default lnaguage
+\lstset{language=CFA,basicstyle=\linespread{0.9}\tt}
+% Annotations from Peter:
 \newcommand{\PAB}[1]{{\color{blue}PAB: #1}}
+% Change the style of abbreviations:
+\renewcommand{\abbrevFont}{}
 
 %======================================================================