Changeset 21f914e for doc/theses/andrew_beach_MMath/thesis.tex
- Timestamp:
- Mar 17, 2020, 10:30:22 PM (5 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 734c9664
- Parents:
- 1ef166d
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/theses/andrew_beach_MMath/thesis.tex
r1ef166d r21f914e 1 1 % Main tex file for thesis document. 2 2 \documentclass[digital]{uw-ethesis} 3 \usepackage{comment} 3 4 \usepackage{fullpage} 4 5 \setlength{\textheight}{8.75in} 6 7 \usepackage{listings} % format program code 8 % Default underscore is too low and wide. Cannot use lstlisting "literate" as replacing underscore 9 % removes it as a variable-name character so keywords in variables are highlighted. MUST APPEAR 10 % AFTER HYPERREF. 11 %\DeclareTextCommandDefault{\textunderscore}{\leavevmode\makebox[1.2ex][c]{\rule{1ex}{0.1ex}}} 12 \renewcommand{\textunderscore}{\leavevmode\makebox[1.2ex][c]{\rule{1ex}{0.075ex}}} 13 % parindent is relative, i.e., toggled on/off in environments like itemize, so store the value for 14 % use rather than use \parident directly. 15 \newlength{\parindentlnth} 16 \setlength{\parindentlnth}{\parindent} 17 18 % CFA programming language, based on ANSI C (with some gcc additions) 19 \lstdefinelanguage{CFA}[ANSI]{C}{ 20 morekeywords={ 21 _Alignas, _Alignof, __alignof, __alignof__, asm, __asm, __asm__, __attribute, __attribute__, 22 auto, _Bool, catch, catchResume, choose, _Complex, __complex, __complex__, __const, __const__, 23 coroutine, disable, dtype, enable, exception, __extension__, fallthrough, fallthru, finally, 24 __float80, float80, __float128, float128, forall, ftype, generator, _Generic, _Imaginary, __imag, __imag__, 25 inline, __inline, __inline__, __int128, int128, __label__, monitor, mutex, _Noreturn, one_t, or, 26 otype, restrict, resume, __restrict, __restrict__, __signed, __signed__, _Static_assert, suspend, thread, 27 _Thread_local, throw, throwResume, timeout, trait, try, ttype, typeof, __typeof, __typeof__, 28 virtual, __volatile, __volatile__, waitfor, when, with, zero_t}, 29 moredirectives={defined,include_next}, 30 % replace/adjust listing characters that look bad in sanserif 31 literate={-}{\makebox[1ex][c]{\raisebox{0.5ex}{\rule{0.8ex}{0.1ex}}}}1 {^}{\raisebox{0.6ex}{$\scriptstyle\land\,$}}1 32 {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1 % {`}{\ttfamily\upshape\hspace*{-0.1ex}`}1 33 {<}{\textrm{\textless}}1 {>}{\textrm{\textgreater}}1 34 {<-}{$\leftarrow$}2 {=>}{$\Rightarrow$}2 {->}{\makebox[1ex][c]{\raisebox{0.5ex}{\rule{0.8ex}{0.075ex}}}\kern-0.2ex{\textrm{\textgreater}}}2, 35 } 36 37 \lstset{ 38 language=CFA, 39 columns=fullflexible, 40 basicstyle=\linespread{0.9}\tt, % reduce line spacing and use sanserif font 41 stringstyle=\tt, % use typewriter font 42 tabsize=5, % N space tabbing 43 xleftmargin=\parindentlnth, % indent code to paragraph indentation 44 %mathescape=true, % LaTeX math escape in CFA code $...$ 45 escapechar=\$, % LaTeX escape in CFA code 46 keepspaces=true, 47 showstringspaces=false, % do not show spaces with cup 48 showlines=true, % show blank lines at end of code 49 aboveskip=4pt, % spacing above/below code block 50 belowskip=3pt, 51 moredelim=**[is][\color{red}]{`}{`}, 52 }% lstset 53 54 \lstnewenvironment{cfa}[1][] 55 {\lstset{#1}} 56 {} 57 % inline code @...@ 5 58 6 59 % Commands used in documenting how to use the template. To remove. … … 65 118 each dimensional component is determined by a random process} 66 119 } 120 121 % Must be here of cause problems with glossaries-extra. 122 \lstMakeShortInline$% 67 123 68 124 % Generate the glossaries defined above.
Note: See TracChangeset
for help on using the changeset viewer.