Changeset cc022a9 for doc/LaTeXmacros/common.sty
- Timestamp:
- May 31, 2021, 2:05:54 PM (12 months ago)
- Branches:
- arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr
- Children:
- fa4915c
- Parents:
- 0497bd6
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/LaTeXmacros/common.sty
r0497bd6 rcc022a9 11 11 %% Created On : Sat Apr 9 10:06:17 2016 12 12 %% Last Modified By : Peter A. Buhr 13 %% Last Modified On : Sat May 8 08:48:35202114 %% Update Count : 5 5013 %% Last Modified On : Mon May 31 09:08:37 2021 14 %% Update Count : 565 15 15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 16 16 … … 37 37 38 38 \usepackage{xspace} 39 \newcommand{\CFAIcon}{\textsf{C }\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}} % Cforall icon39 \newcommand{\CFAIcon}{\textsf{C\raisebox{\depth}{\rotatebox{180}A}}} % Cforall icon 40 40 \newcommand{\CFA}{\protect\CFAIcon\xspace} % CFA symbolic name 41 41 \newcommand{\CFL}{\textrm{Cforall}\xspace} % Cforall non-icon name … … 72 72 \setlength{\parindentlnth}{\parindent} 73 73 74 \usepackage{pslatex} % reduce size of san serif font75 \usepackage{relsize} % must be after change to small or selects old size74 \usepackage{pslatex} % reduce size of san serif font 75 \usepackage{relsize} % must be after change to small or selects old size 76 76 \usepackage{rotating} 77 \usepackage{calc} % latex arithmetic 77 78 78 79 % reduce size of chapter/section titles … … 157 158 \newcommand{\CheckPeriod}{\@ifnextchar{.}{}{.\xspace}} 158 159 159 \@ifundefined{eg}{160 160 \newcommand{\EG}{\abbrevFont{e}.\abbrevFont{g}.} 161 161 \newcommand{\eg}{\EG\CheckCommaColon} 162 }{}% 163 \@ifundefined{ie}{ 162 164 163 \newcommand{\IE}{\abbrevFont{i}.\abbrevFont{e}.} 165 164 \newcommand{\ie}{\IE\CheckCommaColon} 166 }{}% 167 \@ifundefined{etc}{ 165 168 166 \newcommand{\ETC}{\abbrevFont{etc}} 169 167 \newcommand{\etc}{\ETC\CheckPeriod} 170 }{}% 171 \@ifundefined{etal}{ 168 172 169 \newcommand{\ETAL}{\abbrevFont{et}~\abbrevFont{al}} 173 170 \newcommand{\etal}{\ETAL\CheckPeriod} 174 }{}% 175 \@ifundefined{viz}{ 171 176 172 \newcommand{\VIZ}{\abbrevFont{viz}} 177 173 \newcommand{\viz}{\VIZ\CheckPeriod} 178 }{}%179 174 180 175 \newenvironment{cquote}{% … … 238 233 \usepackage{listings} % format program code 239 234 \usepackage{lstlang} 240 \usepackage{calc} % latex arithmetic241 235 242 236 \newcommand{\LstBasicStyle}[1]{{\lst@basicstyle{#1}}} … … 277 271 numberstyle=\footnotesize\sf, % numbering style 278 272 % replace/adjust listing characters that look bad in sanserif 279 literate={-}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.75ex}{0.1ex}}}}1 {^}{\raisebox{0.6ex}{$\scriptscriptstyle\land\,$}}1 280 {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1 {`}{\ttfamily\upshape\hspace*{-0.1ex}`}1 281 {<-}{$\leftarrow$}2 {=>}{$\Rightarrow$}2 {->}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.8ex}{0.075ex}}}\kern-0.2ex\textgreater}2, 273 literate= 274 {-}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.75ex}{0.1ex}}}}1 275 {^}{\raisebox{0.6ex}{$\scriptscriptstyle\land\,$}}1 276 {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1 277 {`}{\ttfamily\upshape\hspace*{-0.1ex}`}1 278 {<-}{$\leftarrow$}2 279 {=>}{$\Rightarrow$}2 280 {->}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.8ex}{0.075ex}}}\kern-0.2ex\textgreater}2, 281 defaultdialect={CFA}, 282 282 }% lstset 283 283 }% CFAStyle … … 308 308 }{} 309 309 % inline code @...@ (at symbol) 310 \makeatother 310 311 \lstMakeShortInline@ % single-character for \lstinline 312 \makeatletter 311 313 \fi% 312 314
Note: See TracChangeset
for help on using the changeset viewer.