Changeset 539cdfe for doc/LaTeXmacros/common.tex
- Timestamp:
- Feb 6, 2018, 10:57:55 PM (7 years ago)
- 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
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/LaTeXmacros/common.tex
r2b8bc41 r539cdfe 11 11 %% Created On : Sat Apr 9 10:06:17 2016 12 12 %% Last Modified By : Peter A. Buhr 13 %% Last Modified On : Wed Jan 31 23:10:28201814 %% Update Count : 36 413 %% Last Modified On : Sun Feb 4 10:38:26 2018 14 %% Update Count : 365 15 15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 16 16 … … 37 37 38 38 \newcommand{\CFAIcon}{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}\xspace} % Cforall symbolic name 39 \newcommand{\CFA}{\protect\CFAIcon} 39 \newcommand{\CFA}{\protect\CFAIcon} % safe for section/caption 40 40 \newcommand{\CFL}{\textrm{Cforall}\xspace} % Cforall symbolic name 41 41 \newcommand{\Celeven}{\textrm{C11}\xspace} % C11 symbolic name … … 147 147 148 148 % Latin abbreviation 149 \newcommand{\abbrevFont}{\textit} % set empty for no italics149 \newcommand{\abbrevFont}{\textit} % set empty for no italics 150 150 \newcommand{\EG}{\abbrevFont{e}.\abbrevFont{g}.} 151 151 \newcommand*{\eg}{% … … 215 215 \newcommand{\opt}{$_{opt}$\ } 216 216 217 \usepackage{varioref} 217 \usepackage{varioref} % extended references 218 218 % adjust varioref package with default "section" and "page" titles, and optional title with faraway page numbers 219 219 % \VRef{label} => Section 2.7, \VPageref{label} => page 17 … … 241 241 language=CFA, 242 242 columns=fullflexible, 243 basicstyle=\linespread{0.9}\sf, 244 stringstyle=\tt, 245 tabsize=5, 246 xleftmargin=\parindentlnth, 247 extendedchars=true, 248 escapechar=§, 249 mathescape=true, 250 keepspaces=true, 251 showstringspaces=false, 252 showlines=true, 253 aboveskip=4pt, 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 254 254 belowskip=3pt, 255 255 % replace/adjust listing characters that look bad in sanserif … … 257 257 {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1 {`}{\ttfamily\upshape\hspace*{-0.1ex}`}1 258 258 {<-}{$\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}]{®}{®}, 260 moredelim=**[is][\color{blue}]{ß}{ß}, 261 moredelim=**[is][\color{OliveGreen}]{¢}{¢}, 262 moredelim=[is][\lstset{keywords={}}]{¶}{¶}, 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-^ 263 263 }% lstset 264 264 }% CFADefaults … … 266 266 \CFADefaults 267 267 % inline code ©...© (copyright symbol) emacs: C-q M-) 268 \lstMakeShortInline© 268 \lstMakeShortInline© % single-character for \lstinline 269 269 }% CFAStyle 270 270
Note: See TracChangeset
for help on using the changeset viewer.