Changeset cc022a9


Ignore:
Timestamp:
May 31, 2021, 2:05:54 PM (3 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
fa4915c
Parents:
0497bd6
Message:

clean up macros and add defaultdialect={CFA}

Location:
doc/LaTeXmacros
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • doc/LaTeXmacros/common.sty

    r0497bd6 rcc022a9  
    1111%% Created On       : Sat Apr  9 10:06:17 2016
    1212%% Last Modified By : Peter A. Buhr
    13 %% Last Modified On : Sat May  8 08:48:35 2021
    14 %% Update Count     : 550
     13%% Last Modified On : Mon May 31 09:08:37 2021
     14%% Update Count     : 565
    1515%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1616
    … …  
    3737
    3838\usepackage{xspace}
    39 \newcommand{\CFAIcon}{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}} % Cforall icon
     39\newcommand{\CFAIcon}{\textsf{C\raisebox{\depth}{\rotatebox{180}A}}} % Cforall icon
    4040\newcommand{\CFA}{\protect\CFAIcon\xspace}                              % CFA symbolic name
    4141\newcommand{\CFL}{\textrm{Cforall}\xspace}                              % Cforall non-icon name
    … …  
    7272\setlength{\parindentlnth}{\parindent}
    7373
    74 \usepackage{pslatex}                                    % reduce size of san serif font
    75 \usepackage{relsize}                                    % must be after change to small or selects old size
     74\usepackage{pslatex}                                                                    % reduce size of san serif font
     75\usepackage{relsize}                                                                    % must be after change to small or selects old size
    7676\usepackage{rotating}
     77\usepackage{calc}                                                                               % latex arithmetic
    7778
    7879% reduce size of chapter/section titles
    … …  
    157158\newcommand{\CheckPeriod}{\@ifnextchar{.}{}{.\xspace}}
    158159
    159 \@ifundefined{eg}{
    160160\newcommand{\EG}{\abbrevFont{e}.\abbrevFont{g}.}
    161161\newcommand{\eg}{\EG\CheckCommaColon}
    162 }{}%
    163 \@ifundefined{ie}{
     162
    164163\newcommand{\IE}{\abbrevFont{i}.\abbrevFont{e}.}
    165164\newcommand{\ie}{\IE\CheckCommaColon}
    166 }{}%
    167 \@ifundefined{etc}{
     165
    168166\newcommand{\ETC}{\abbrevFont{etc}}
    169167\newcommand{\etc}{\ETC\CheckPeriod}
    170 }{}%
    171 \@ifundefined{etal}{
     168
    172169\newcommand{\ETAL}{\abbrevFont{et}~\abbrevFont{al}}
    173170\newcommand{\etal}{\ETAL\CheckPeriod}
    174 }{}%
    175 \@ifundefined{viz}{
     171
    176172\newcommand{\VIZ}{\abbrevFont{viz}}
    177173\newcommand{\viz}{\VIZ\CheckPeriod}
    178 }{}%
    179174
    180175\newenvironment{cquote}{%
    … …  
    238233\usepackage{listings}                                                                   % format program code
    239234\usepackage{lstlang}
    240 \usepackage{calc}                                                                               % latex arithmetic
    241235
    242236\newcommand{\LstBasicStyle}[1]{{\lst@basicstyle{#1}}}
    … …  
    277271numberstyle=\footnotesize\sf,                   % numbering style
    278272% 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,
     273literate=
     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,
     281defaultdialect={CFA},
    282282}% lstset
    283283}% CFAStyle
    … …  
    308308}{}
    309309% inline code @...@ (at symbol)
     310\makeatother
    310311\lstMakeShortInline@                                    % single-character for \lstinline
     312\makeatletter
    311313\fi%
    312314

  • doc/LaTeXmacros/common.tex

    r0497bd6 rcc022a9  
    1111%% Created On       : Sat Apr  9 10:06:17 2016
    1212%% Last Modified By : Peter A. Buhr
    13 %% Last Modified On : Sat May  8 08:48:37 2021
    14 %% Update Count     : 540
     13%% Last Modified On : Mon May 31 09:10:49 2021
     14%% Update Count     : 546
    1515%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1616
    … …  
    3737
    3838\usepackage{xspace}
    39 \newcommand{\CFAIcon}{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}} % Cforall icon
     39\newcommand{\CFAIcon}{\textsf{C\raisebox{\depth}{\rotatebox{180}A}}} % Cforall icon
    4040\newcommand{\CFA}{\protect\CFAIcon\xspace}                              % CFA symbolic name
    4141\newcommand{\CFL}{\textrm{Cforall}\xspace}                              % Cforall non-icon name
    … …  
    7373\setlength{\parindentlnth}{\parindent}
    7474
    75 \usepackage{pslatex}                                    % reduce size of san serif font
    76 \usepackage{relsize}                                    % must be after change to small or selects old size
     75\usepackage{pslatex}                                                                    % reduce size of san serif font
     76\usepackage{relsize}                                                                    % must be after change to small or selects old size
    7777\usepackage{rotating}
     78\usepackage{calc}                                                                               % latex arithmetic
    7879
    7980% reduce size of chapter/section titles
    … …  
    158159\newcommand{\CheckPeriod}{\@ifnextchar{.}{}{.\xspace}}
    159160
    160 \@ifundefined{eg}{
    161161\newcommand{\EG}{\abbrevFont{e}.\abbrevFont{g}.}
    162162\newcommand{\eg}{\EG\CheckCommaColon}
    163 }{}%
    164 \@ifundefined{ie}{
     163
    165164\newcommand{\IE}{\abbrevFont{i}.\abbrevFont{e}.}
    166165\newcommand{\ie}{\IE\CheckCommaColon}
    167 }{}%
    168 \@ifundefined{etc}{
     166
    169167\newcommand{\ETC}{\abbrevFont{etc}}
    170168\newcommand{\etc}{\ETC\CheckPeriod}
    171 }{}%
    172 \@ifundefined{etal}{
     169
    173170\newcommand{\ETAL}{\abbrevFont{et}~\abbrevFont{al}}
    174171\newcommand{\etal}{\ETAL\CheckPeriod}
    175 }{}%
    176 \@ifundefined{viz}{
     172
    177173\newcommand{\VIZ}{\abbrevFont{viz}}
    178174\newcommand{\viz}{\VIZ\CheckPeriod}
    179 }{}%
     175
    180176\makeatother
    181177
    … …  
    240236\usepackage{listings}                                                                   % format program code
    241237\usepackage{lstlang}
    242 \usepackage{calc}                                                                               % latex arithmetic
    243238
    244239\makeatletter
    … …  
    281276numberstyle=\footnotesize\sf,                   % numbering style
    282277% replace/adjust listing characters that look bad in sanserif
    283 literate={-}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.75ex}{0.1ex}}}}1 {^}{\raisebox{0.6ex}{$\scriptscriptstyle\land\,$}}1
    284         {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1 {`}{\ttfamily\upshape\hspace*{-0.1ex}`}1
    285         {<-}{$\leftarrow$}2 {=>}{$\Rightarrow$}2 {->}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.8ex}{0.075ex}}}\kern-0.2ex\textgreater}2,
     278literate=
     279  {-}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.75ex}{0.1ex}}}}1
     280  {^}{\raisebox{0.6ex}{$\scriptscriptstyle\land\,$}}1
     281  {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1
     282  {`}{\ttfamily\upshape\hspace*{-0.1ex}`}1
     283  {<-}{$\leftarrow$}2
     284  {=>}{$\Rightarrow$}2
     285  {->}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.8ex}{0.075ex}}}\kern-0.2ex\textgreater}2,
     286defaultdialect={CFA},
    286287}% lstset
    287288}% CFAStyle
Note: See TracChangeset for help on using the changeset viewer.