Changeset 539cdfe

Timestamp:

Feb 6, 2018, 10:57:55 PM (6 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:

• doc/LaTeXmacros/common.tex (modified) (7 diffs)

doc/LaTeXmacros/common.tex

@@ -11 +11 @@
 %% Created On       : Sat Apr  9 10:06:17 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Wed Jan 31 23:10:28 2018
-%% Update Count     : 364
+%% Last Modified On : Sun Feb  4 10:38:26 2018
+%% Update Count     : 365
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -37 +37 @@
 
 \newcommand{\CFAIcon}{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}\xspace} % Cforall symbolic name
-\newcommand{\CFA}{\protect\CFAIcon} % safe for section/caption
+\newcommand{\CFA}{\protect\CFAIcon}             % safe for section/caption
 \newcommand{\CFL}{\textrm{Cforall}\xspace} % Cforall symbolic name
 \newcommand{\Celeven}{\textrm{C11}\xspace} % C11 symbolic name
@@ -147 +147 @@
 
 % Latin abbreviation
-\newcommand{\abbrevFont}{\textit}       % set empty for no italics
+\newcommand{\abbrevFont}{\textit}               % set empty for no italics
 \newcommand{\EG}{\abbrevFont{e}.\abbrevFont{g}.}
 \newcommand*{\eg}{%
@@ -215 +215 @@
 \newcommand{\opt}{$_{opt}$\ }
 
-\usepackage{varioref}                 % extended references
+\usepackage{varioref}                                   % extended references
 % adjust varioref package with default "section" and "page" titles, and optional title with faraway page numbers
 % \VRef{label} => Section 2.7, \VPageref{label} => page 17
@@ -241 +241 @@
 language=CFA,
 columns=fullflexible,
-basicstyle=\linespread{0.9}\sf,                                                 % reduce line spacing and use sanserif font
-stringstyle=\tt,                                                                                % use typewriter font
-tabsize=5,                                                                                              % N space tabbing
-xleftmargin=\parindentlnth,                                                             % indent code to paragraph indentation
-extendedchars=true,                                                                             % allow ASCII characters in the range 128-255
-escapechar=§,                                                                                   % LaTeX escape in CFA code §...§ (section symbol), emacs: C-q M-'
-mathescape=true,                                                                                % LaTeX math escape in CFA code $...$
-keepspaces=true,                                                                                %
-showstringspaces=false,                                                                 % do not show spaces with cup
-showlines=true,                                                                                 % show blank lines at end of code
-aboveskip=4pt,                                                                                  % spacing above/below code block
+basicstyle=\linespread{0.9}\sf,                 % reduce line spacing and use sanserif font
+stringstyle=\tt,                                                % use typewriter font
+tabsize=5,                                                              % N space tabbing
+xleftmargin=\parindentlnth,                             % indent code to paragraph indentation
+extendedchars=true,                                             % allow ASCII characters in the range 128-255
+escapechar=§,                                                   % LaTeX escape in CFA code §...§ (section symbol), emacs: C-q M-'
+mathescape=true,                                                % LaTeX math escape in CFA code $...$
+keepspaces=true,                                                %
+showstringspaces=false,                                 % do not show spaces with cup
+showlines=true,                                                 % show blank lines at end of code
+aboveskip=4pt,                                                  % spacing above/below code block
 belowskip=3pt,
 % replace/adjust listing characters that look bad in sanserif
@@ -257 +257 @@
         {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1 {`}{\ttfamily\upshape\hspace*{-0.1ex}`}1
         {<-}{$\leftarrow$}2 {=>}{$\Rightarrow$}2 {->}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.8ex}{0.075ex}}}\kern-0.2ex\textgreater}2,
-moredelim=**[is][\color{red}]{®}{®},                                    % red highlighting ®...® (registered trademark symbol) emacs: C-q M-.
-moredelim=**[is][\color{blue}]{ß}{ß},                                   % blue highlighting ß...ß (sharp s symbol) emacs: C-q M-_
-moredelim=**[is][\color{OliveGreen}]{¢}{¢},                     % green highlighting ¢...¢ (cent symbol) emacs: C-q M-"
-moredelim=[is][\lstset{keywords={}}]{¶}{¶},                     % keyword escape ¶...¶ (pilcrow symbol) emacs: C-q M-^
+moredelim=**[is][\color{red}]{®}{®},    % red highlighting ®...® (registered trademark symbol) emacs: C-q M-.
+moredelim=**[is][\color{blue}]{ß}{ß},   % blue highlighting ß...ß (sharp s symbol) emacs: C-q M-_
+moredelim=**[is][\color{OliveGreen}]{¢}{¢}, % green highlighting ¢...¢ (cent symbol) emacs: C-q M-"
+moredelim=[is][\lstset{keywords={}}]{¶}{¶}, % keyword escape ¶...¶ (pilcrow symbol) emacs: C-q M-^
 }% lstset
 }% CFADefaults
@@ -266 +266 @@
 \CFADefaults
 % inline code ©...© (copyright symbol) emacs: C-q M-)
-\lstMakeShortInline©                                                                    % single-character for \lstinline
+\lstMakeShortInline©                                    % single-character for \lstinline
 }% CFAStyle