Ignore:
Timestamp:
Jan 12, 2018, 3:48:00 PM (4 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, with_gc
Children:
bee7f04
Parents:
cae28da
Message:

Last fixes before review

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/proposals/concurrency/thesis.tex

    rcae28da r2b72090  
    3636\usepackage[usenames]{color}
    3737\usepackage[pagewise]{lineno}
     38\renewcommand{\linenumberfont}{\scriptsize\sffamily}
    3839\usepackage{fancyhdr}
    3940\usepackage{float}
    40 \renewcommand{\linenumberfont}{\scriptsize\sffamily}
    4141\usepackage{siunitx}
    4242\sisetup{ binary-units=true }
    4343\input{style}                                                   % bespoke macros used in the document
     44\usepackage{url}
    4445\usepackage[dvips,plainpages=false,pdfpagelabels,pdfpagemode=UseNone,colorlinks=true,pagebackref=true,linkcolor=blue,citecolor=blue,urlcolor=blue,pagebackref=true,breaklinks=true]{hyperref}
    45 %\usepackage{breakurl}
    46 \urlstyle{tt}
     46\usepackage{breakurl}
     47\urlstyle{rm}
    4748
    4849\usepackage{tikz}
    4950\def\checkmark{\tikz\fill[scale=0.4](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;}
    50 
    51 \renewcommand{\UrlFont}{\small\sf}
    5251
    5352\setlength{\topmargin}{-0.45in}                         % move running title into header
Note: See TracChangeset for help on using the changeset viewer.