Changeset 6a8208cb for doc/theses/andrew_beach_MMath
- Timestamp:
- Apr 20, 2021, 3:03:36 PM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 59f3f61
- Parents:
- f17fb7d
- Location:
- doc/theses/andrew_beach_MMath
- Files:
-
- 2 added
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/theses/andrew_beach_MMath/Makefile
rf17fb7d r6a8208cb 4 4 BUILD=out 5 5 TEXSRC=$(wildcard *.tex) 6 FIGSRC=$(wildcard *.fig) 6 7 BIBSRC=$(wildcard *.bib) 7 8 STYSRC=$(wildcard *.sty) … … 13 14 BASE= ${DOC:%.pdf=%} 14 15 16 RAWSRC=${TEXSRC} ${BIBSRC} ${STYSRC} ${CLSSRC} 17 FIGTEX=${FIGSRC:%.fig=${BUILD}/%.tex} 18 15 19 ### Special Rules: 16 20 … … 18 22 19 23 ### Commands: 20 LATEX=TEXINPUTS=${TEXLIB} pdflatex -halt-on-error -output-directory=${BUILD}24 LATEX=TEXINPUTS=${TEXLIB} latex -halt-on-error -output-directory=${BUILD} 21 25 BIBTEX=BIBINPUTS=${BIBLIB} bibtex 22 26 GLOSSARY=INDEXSTYLE=${BUILD} makeglossaries-lite … … 26 30 all: ${DOC} 27 31 28 ${BUILD}/${DOC}: ${TEXSRC} ${BIBSRC} ${STYSRC} ${CLSSRC} Makefile | ${BUILD} 32 # The main rule, it does all the tex/latex processing. 33 ${BUILD}/${BASE}.dvi: ${RAWSRC} ${FIGTEX} Makefile | ${BUILD} 29 34 ${LATEX} ${BASE} 30 35 ${BIBTEX} ${BUILD}/${BASE} … … 33 38 ${LATEX} ${BASE} 34 39 35 ${DOC}: ${BUILD}/${DOC} 36 cp $< $@ 40 # Convert xfig output to tex. (Generates \special declarations.) 41 ${FIGTEX}: ${BUILD}/%.tex: %.fig | ${BUILD} 42 fig2dev -L eepic $< > $@ 43 44 # Step through dvi & postscript to handle xfig specials. 45 %.pdf : ${BUILD}/%.dvi 46 dvipdf $^ $@ 37 47 38 48 ${BUILD}: -
doc/theses/andrew_beach_MMath/features.tex
rf17fb7d r6a8208cb 88 88 Consider the following hierarchy of exceptions: 89 89 \begin{center} 90 \setlength{\unitlength}{4000sp}% 91 \begin{picture}(1605,612)(2011,-1951) 92 \put(2100,-1411){\vector(1, 0){225}} 93 \put(3450,-1411){\vector(1, 0){225}} 94 \put(3550,-1411){\line(0,-1){225}} 95 \put(3550,-1636){\vector(1, 0){150}} 96 \put(3550,-1636){\line(0,-1){225}} 97 \put(3550,-1861){\vector(1, 0){150}} 98 \put(2025,-1490){\makebox(0,0)[rb]{\LstBasicStyle{exception}}} 99 \put(2400,-1460){\makebox(0,0)[lb]{\LstBasicStyle{arithmetic}}} 100 \put(3750,-1460){\makebox(0,0)[lb]{\LstBasicStyle{underflow}}} 101 \put(3750,-1690){\makebox(0,0)[lb]{\LstBasicStyle{overflow}}} 102 \put(3750,-1920){\makebox(0,0)[lb]{\LstBasicStyle{zerodivide}}} 103 \end{picture}% 90 \input{exception-hierarchy} 104 91 \end{center} 105 92 … … 471 458 skipping over it to the next try statement. 472 459 473 % This might need a diagram. But it is an important part of the justification 474 % of the design of the traversal order. 475 \begin{verbatim} 476 throwResume2 ----------. 477 | | 478 generated from handler | 479 | | 480 handler | 481 | | 482 throwResume1 -----. : 483 | | : 484 try | : search skip 485 | | : 486 catchResume <----' : 487 | | 488 \end{verbatim} 460 \begin{center} 461 \input{stack-marking} 462 \end{center} 489 463 490 464 These rules mirror what happens with termination. -
doc/theses/andrew_beach_MMath/uw-ethesis.tex
rf17fb7d r6a8208cb 100 100 % Lots of math symbols and environments 101 101 \usepackage{amsmath,amssymb,amstext} 102 % For including graphics N.B. pdftex graphics driver 103 \usepackage[pdftex]{graphicx} 102 % For including graphics (must match graphics driver) 103 \usepackage{epic,eepic} 104 \usepackage{graphicx} 104 105 % Removes large sections of the document. 105 106 \usepackage{comment} … … 112 113 % Use the "hyperref" package 113 114 % N.B. HYPERREF MUST BE THE LAST PACKAGE LOADED; ADD ADDITIONAL PKGS ABOVE 114 \usepackage[p dftex,pagebackref=true]{hyperref}115 \usepackage[pagebackref=true]{hyperref} 115 116 % N.B. pagebackref=true provides links back from the References to the body 116 117 % text. This can cause trouble for printing.
Note: See TracChangeset
for help on using the changeset viewer.