Changeset 539cdfe


Ignore:
Timestamp:
Feb 6, 2018, 10:57:55 PM (7 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
381fdee, 53217c1
Parents:
2b8bc41
Message:

formatting

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/LaTeXmacros/common.tex

    r2b8bc41 r539cdfe  
    1111%% Created On       : Sat Apr  9 10:06:17 2016
    1212%% Last Modified By : Peter A. Buhr
    13 %% Last Modified On : Wed Jan 31 23:10:28 2018
    14 %% Update Count     : 364
     13%% Last Modified On : Sun Feb  4 10:38:26 2018
     14%% Update Count     : 365
    1515%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1616
     
    3737
    3838\newcommand{\CFAIcon}{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}\xspace} % Cforall symbolic name
    39 \newcommand{\CFA}{\protect\CFAIcon} % safe for section/caption
     39\newcommand{\CFA}{\protect\CFAIcon}             % safe for section/caption
    4040\newcommand{\CFL}{\textrm{Cforall}\xspace} % Cforall symbolic name
    4141\newcommand{\Celeven}{\textrm{C11}\xspace} % C11 symbolic name
     
    147147
    148148% Latin abbreviation
    149 \newcommand{\abbrevFont}{\textit}       % set empty for no italics
     149\newcommand{\abbrevFont}{\textit}               % set empty for no italics
    150150\newcommand{\EG}{\abbrevFont{e}.\abbrevFont{g}.}
    151151\newcommand*{\eg}{%
     
    215215\newcommand{\opt}{$_{opt}$\ }
    216216
    217 \usepackage{varioref}                 % extended references
     217\usepackage{varioref}                                   % extended references
    218218% adjust varioref package with default "section" and "page" titles, and optional title with faraway page numbers
    219219% \VRef{label} => Section 2.7, \VPageref{label} => page 17
     
    241241language=CFA,
    242242columns=fullflexible,
    243 basicstyle=\linespread{0.9}\sf,                                                 % reduce line spacing and use sanserif font
    244 stringstyle=\tt,                                                                                % use typewriter font
    245 tabsize=5,                                                                                              % N space tabbing
    246 xleftmargin=\parindentlnth,                                                             % indent code to paragraph indentation
    247 extendedchars=true,                                                                             % allow ASCII characters in the range 128-255
    248 escapechar=§,                                                                                   % LaTeX escape in CFA code §...§ (section symbol), emacs: C-q M-'
    249 mathescape=true,                                                                                % LaTeX math escape in CFA code $...$
    250 keepspaces=true,                                                                                %
    251 showstringspaces=false,                                                                 % do not show spaces with cup
    252 showlines=true,                                                                                 % show blank lines at end of code
    253 aboveskip=4pt,                                                                                  % spacing above/below code block
     243basicstyle=\linespread{0.9}\sf,                 % reduce line spacing and use sanserif font
     244stringstyle=\tt,                                                % use typewriter font
     245tabsize=5,                                                              % N space tabbing
     246xleftmargin=\parindentlnth,                             % indent code to paragraph indentation
     247extendedchars=true,                                             % allow ASCII characters in the range 128-255
     248escapechar=§,                                                   % LaTeX escape in CFA code §...§ (section symbol), emacs: C-q M-'
     249mathescape=true,                                                % LaTeX math escape in CFA code $...$
     250keepspaces=true,                                                %
     251showstringspaces=false,                                 % do not show spaces with cup
     252showlines=true,                                                 % show blank lines at end of code
     253aboveskip=4pt,                                                  % spacing above/below code block
    254254belowskip=3pt,
    255255% replace/adjust listing characters that look bad in sanserif
     
    257257        {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1 {`}{\ttfamily\upshape\hspace*{-0.1ex}`}1
    258258        {<-}{$\leftarrow$}2 {=>}{$\Rightarrow$}2 {->}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.8ex}{0.075ex}}}\kern-0.2ex\textgreater}2,
    259 moredelim=**[is][\color{red}]{®}{®},                                    % red highlighting ®...® (registered trademark symbol) emacs: C-q M-.
    260 moredelim=**[is][\color{blue}]{ß}{ß},                                   % blue highlighting ß...ß (sharp s symbol) emacs: C-q M-_
    261 moredelim=**[is][\color{OliveGreen}]{¢}{¢},                     % green highlighting ¢...¢ (cent symbol) emacs: C-q M-"
    262 moredelim=[is][\lstset{keywords={}}]{¶}{¶},                     % keyword escape ¶...¶ (pilcrow symbol) emacs: C-q M-^
     259moredelim=**[is][\color{red}]{®}{®},    % red highlighting ®...® (registered trademark symbol) emacs: C-q M-.
     260moredelim=**[is][\color{blue}]{ß}{ß},   % blue highlighting ß...ß (sharp s symbol) emacs: C-q M-_
     261moredelim=**[is][\color{OliveGreen}]{¢}{¢}, % green highlighting ¢...¢ (cent symbol) emacs: C-q M-"
     262moredelim=[is][\lstset{keywords={}}]{¶}{¶}, % keyword escape ¶...¶ (pilcrow symbol) emacs: C-q M-^
    263263}% lstset
    264264}% CFADefaults
     
    266266\CFADefaults
    267267% inline code ©...© (copyright symbol) emacs: C-q M-)
    268 \lstMakeShortInline©                                                                    % single-character for \lstinline
     268\lstMakeShortInline©                                    % single-character for \lstinline
    269269}% CFAStyle
    270270
Note: See TracChangeset for help on using the changeset viewer.