Changeset cc022a9 for doc/LaTeXmacros/common.tex

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}

File:

• doc/LaTeXmacros/common.tex (modified) (6 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 : Sat May  8 08:48:37 2021
-%% Update Count     : 540
+%% Last Modified On : Mon May 31 09:10:49 2021
+%% Update Count     : 546
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -37 +37 @@
 
 \usepackage{xspace}
-\newcommand{\CFAIcon}{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}} % Cforall icon
+\newcommand{\CFAIcon}{\textsf{C\raisebox{\depth}{\rotatebox{180}A}}} % Cforall icon
 \newcommand{\CFA}{\protect\CFAIcon\xspace}                              % CFA symbolic name
 \newcommand{\CFL}{\textrm{Cforall}\xspace}                              % Cforall non-icon name
@@ -73 +73 @@
 \setlength{\parindentlnth}{\parindent}
 
-\usepackage{pslatex}                                    % reduce size of san serif font
-\usepackage{relsize}                                    % must be after change to small or selects old size
+\usepackage{pslatex}                                                                    % reduce size of san serif font
+\usepackage{relsize}                                                                    % must be after change to small or selects old size
 \usepackage{rotating}
+\usepackage{calc}                                                                               % latex arithmetic
 
 % reduce size of chapter/section titles
@@ -158 +159 @@
 \newcommand{\CheckPeriod}{\@ifnextchar{.}{}{.\xspace}}
 
-\@ifundefined{eg}{
 \newcommand{\EG}{\abbrevFont{e}.\abbrevFont{g}.}
 \newcommand{\eg}{\EG\CheckCommaColon}
-}{}%
-\@ifundefined{ie}{
+
 \newcommand{\IE}{\abbrevFont{i}.\abbrevFont{e}.}
 \newcommand{\ie}{\IE\CheckCommaColon}
-}{}%
-\@ifundefined{etc}{
+
 \newcommand{\ETC}{\abbrevFont{etc}}
 \newcommand{\etc}{\ETC\CheckPeriod}
-}{}%
-\@ifundefined{etal}{
+
 \newcommand{\ETAL}{\abbrevFont{et}~\abbrevFont{al}}
 \newcommand{\etal}{\ETAL\CheckPeriod}
-}{}%
-\@ifundefined{viz}{
+
 \newcommand{\VIZ}{\abbrevFont{viz}}
 \newcommand{\viz}{\VIZ\CheckPeriod}
-}{}%
+
 \makeatother
 
@@ -240 +236 @@
 \usepackage{listings}                                                                   % format program code
 \usepackage{lstlang}
-\usepackage{calc}                                                                               % latex arithmetic
 
 \makeatletter
@@ -281 +276 @@
 numberstyle=\footnotesize\sf,                   % numbering style
 % replace/adjust listing characters that look bad in sanserif
-literate={-}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.75ex}{0.1ex}}}}1 {^}{\raisebox{0.6ex}{$\scriptscriptstyle\land\,$}}1
-        {~}{\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,
+literate=
+  {-}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.75ex}{0.1ex}}}}1
+  {^}{\raisebox{0.6ex}{$\scriptscriptstyle\land\,$}}1
+  {~}{\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,
+defaultdialect={CFA},
 }% lstset
 }% CFAStyle