Changeset 8d627d9 for doc/LaTeXmacros
- Timestamp:
- Oct 5, 2020, 9:39:05 AM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 079ed52
- Parents:
- 6b93634
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/LaTeXmacros/common.tex
r6b93634 r8d627d9 11 11 %% Created On : Sat Apr 9 10:06:17 2016 12 12 %% Last Modified By : Peter A. Buhr 13 %% Last Modified On : Wed Sep 23 21:21:55202014 %% Update Count : 4 5413 %% Last Modified On : Mon Oct 5 09:34:46 2020 14 %% Update Count : 464 15 15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 16 16 … … 251 251 \makeatother 252 252 253 \newcommand{\CFA Defaults}{%253 \newcommand{\CFAStyle}{% 254 254 \lstset{ 255 language=CFA,256 255 columns=fullflexible, 257 256 basicstyle=\linespread{0.9}\sf, % reduce line spacing and use sanserif font … … 272 271 {<-}{$\leftarrow$}2 {=>}{$\Rightarrow$}2 {->}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.8ex}{0.075ex}}}\kern-0.2ex\textgreater}2, 273 272 }% lstset 274 }% CFA Defaults275 276 \ifdefined\CFALatin% 277 \lstnewenvironment{cfa}[1][]{ \CFADefaults273 }% CFAStyle 274 275 \ifdefined\CFALatin% extra Latin-1 escape characters 276 \lstnewenvironment{cfa}[1][]{ 278 277 \lstset{ 279 278 language=CFA, … … 289 288 % inline code ©...© (copyright symbol) emacs: C-q M-) 290 289 \lstMakeShortInline© % single-character for \lstinline 291 \else% extra Latin-1 escape characters 290 \else% regular ASCI characters 291 \lstnewenvironment{cfa}[1][]{ 292 292 \lstset{ 293 293 language=CFA, 294 294 escapechar=\$, % LaTeX escape in CFA code 295 moredelim=**[is][\color{red}]{@}{@}, % red highlighting `...` (backtick symbol) 296 }% lstset 297 \lstnewenvironment{cfa}[1][]{\CFADefaults 298 \lstset{ 299 language=CFA, 300 escapechar=\$, % LaTeX escape in CFA code 301 moredelim=**[is][\color{red}]{@}{@}, % red highlighting `...` (backtick symbol) 295 moredelim=**[is][\color{red}]{@}{@}, % red highlighting @...@ 302 296 }% lstset 303 297 \lstset{#1}
Note: See TracChangeset
for help on using the changeset viewer.